Library for binary encoding of annotated transition systems
Project description
umbi
Installation:
(optional) create and activate a python environment:
$ python -m venv venv
$ source venv/bin/activate
Install umbi via
(venv) $ pip install umbi
Running umbi
Examples:
(venv) $ umbi --import-umb /path/to/input.umb
(venv) $ umbi --import-umb /path/to/input.umb --export-umb /path/to/output.umb
(venv) $ umbi --import-umb /path/to/input.umb --export-umb /path/to/output.umb --log-level=DEBUG
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
umbi-0.0.2.tar.gz
(11.8 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
umbi-0.0.2-py3-none-any.whl
(13.0 kB
view details)
File details
Details for the file umbi-0.0.2.tar.gz.
File metadata
- Download URL: umbi-0.0.2.tar.gz
- Upload date:
- Size: 11.8 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.10.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
f12bbceab537db2677c08a941a74d397fef3e97464cdb986f9f8de01369304f9
|
|
| MD5 |
d6b174f93631157d7d2b18aad817ec18
|
|
| BLAKE2b-256 |
855c94fc962bf96de5d9ef5168976ce59229f910caa57b3b994575f25a2ee725
|
File details
Details for the file umbi-0.0.2-py3-none-any.whl.
File metadata
- Download URL: umbi-0.0.2-py3-none-any.whl
- Upload date:
- Size: 13.0 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.10.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
579741dea214c922f934c9ea785b4949ad63822fcdc073ec5b3cab751c622c53
|
|
| MD5 |
23cbe6c112997671b269d2135bd21c14
|
|
| BLAKE2b-256 |
0de3843eabc8fcc38a1548816c56fefb040d9c4904997c32bf70762848808a3f
|
