A simple Python model checking package
Project description
The author of this package has not provided a 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
pyModelChecking-0.1.1.tar.gz
(22.9 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
File details
Details for the file pyModelChecking-0.1.1.tar.gz.
File metadata
- Download URL: pyModelChecking-0.1.1.tar.gz
- Upload date:
- Size: 22.9 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.20.0 setuptools/40.5.0 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15rc1
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
5ebca2761b7bd79cfa137db9fe182afb1e3cb7f5f44898edbf15c715b9ae5d15
|
|
| MD5 |
c7ee6c252e34166fcc9720671ed25575
|
|
| BLAKE2b-256 |
f3bf2b3f95165aad5ed68f833773bac9702ee8c3d85382bfb7f6865f83ff19dd
|
File details
Details for the file pyModelChecking-0.1.1-py2-none-any.whl.
File metadata
- Download URL: pyModelChecking-0.1.1-py2-none-any.whl
- Upload date:
- Size: 34.5 kB
- Tags: Python 2
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.20.0 setuptools/40.5.0 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15rc1
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
3369067a77fc73c31a15102a30e6f6990d98011c7be6cea6a00721dc063f11df
|
|
| MD5 |
857bd454ecfa989d89834dc910a4d607
|
|
| BLAKE2b-256 |
5d4307d3588c6451a477219c3747f7e0d3c05e635bde36b0e05034cb6a2317f9
|
