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.1.tar.gz
(11.7 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.1-py3-none-any.whl
(13.0 kB
view details)
File details
Details for the file umbi-0.0.1.tar.gz.
File metadata
- Download URL: umbi-0.0.1.tar.gz
- Upload date:
- Size: 11.7 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.10.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
099e9188b5450b53c08c698bc37028fa465d7310a82e7f4ed4145d6309572e23
|
|
| MD5 |
d0a9737e9661c031a3ae2a7dbe4d4ebe
|
|
| BLAKE2b-256 |
8d013a53bde38fd04bd3ad14969fa4f8a0e324378cf037df9605ee503f8f3e45
|
File details
Details for the file umbi-0.0.1-py3-none-any.whl.
File metadata
- Download URL: umbi-0.0.1-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 |
dc7d6f2d7e69f30e8c7aee63e659a6f0c4d9ac55d673098b663600db84e73b5d
|
|
| MD5 |
139f6e56ecf44b0f5abba3a415251388
|
|
| BLAKE2b-256 |
03f9f30bf10e336c38d0a1b7424917c9b1c7881f5f74e3ccac4cfc67fd94b21e
|
