A pure Python package to monitor formal specifications over temporal sequences
Project description
The author of this package has not provided a project description
Project details
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
python-monitors-0.1.1.tar.gz
(24.5 kB
view details)
Built Distribution
File details
Details for the file python-monitors-0.1.1.tar.gz
.
File metadata
- Download URL: python-monitors-0.1.1.tar.gz
- Upload date:
- Size: 24.5 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.19.1 setuptools/40.5.0 requests-toolbelt/0.8.0 tqdm/4.26.0 CPython/3.6.8
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 830f51fc90c24278b6ed57b81e155c9f1f745ff999936c0c8aabaaad4a941e9d |
|
MD5 | 8e2decb8c8b27a415783e85b492304f7 |
|
BLAKE2b-256 | dd22606d98334e0319f839e7962c1d67d82abde5f78316d09919e5bde6a34e49 |
File details
Details for the file python_monitors-0.1.1-py3-none-any.whl
.
File metadata
- Download URL: python_monitors-0.1.1-py3-none-any.whl
- Upload date:
- Size: 44.9 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.19.1 setuptools/40.5.0 requests-toolbelt/0.8.0 tqdm/4.26.0 CPython/3.6.8
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | cb5f173c1b0406ecdc8f5520d6e4f836f1288daed119efca0cf3669301c02e94 |
|
MD5 | 11578bc1751a572b52c1cee141161427 |
|
BLAKE2b-256 | 3d2180f66a252c17a509480822c391208b230b02f50c65e8ed798e06af2dd4b7 |