An academic library for state machinev specification and model checking
Project description
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
libsm-0.1.0.tar.gz
(2.1 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
libsm-0.1.0-py3-none-any.whl
(3.4 kB
view details)
File details
Details for the file libsm-0.1.0.tar.gz.
File metadata
- Download URL: libsm-0.1.0.tar.gz
- Upload date:
- Size: 2.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.23.0 setuptools/45.1.0 requests-toolbelt/0.9.1 tqdm/4.45.0 CPython/3.8.1
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
128a0cc445b0276e167065af0e6440be2aaacdef096ec2765b2d72ebf89d2da7
|
|
| MD5 |
651757d3804e8b60fc3d7dd297d99081
|
|
| BLAKE2b-256 |
9aaa3c39be1ef23a0667ba1d7d27fc5bf7c224efb12e7e15c884390d4847d5cd
|
File details
Details for the file libsm-0.1.0-py3-none-any.whl.
File metadata
- Download URL: libsm-0.1.0-py3-none-any.whl
- Upload date:
- Size: 3.4 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.23.0 setuptools/45.1.0 requests-toolbelt/0.9.1 tqdm/4.45.0 CPython/3.8.1
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
ae874696e68efa4b01010bcbd4757d44776904d7c038ee03f11153187d1b180d
|
|
| MD5 |
f03388713c709a2bb4f7e1026729b80a
|
|
| BLAKE2b-256 |
b8a413c37e767a88a1ef4a4306f1f837a7ffe8a2e2ec5328146794eb848e3804
|
