Runtime verification package using formal specifications
Project description
The author of this package has not provided a project description
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
reelay-2005.0.tar.gz
(1.4 MB
view details)
Built Distributions
File details
Details for the file reelay-2005.0.tar.gz
.
File metadata
- Download URL: reelay-2005.0.tar.gz
- Upload date:
- Size: 1.4 MB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.23.0 setuptools/46.1.3.post20200330 requests-toolbelt/0.9.1 tqdm/4.45.0 CPython/3.7.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 |
54f790cf17824c90bb058477985721fb5f36584aad675b6ea66fdf9988226c4c
|
|
MD5 |
3cb35c142513147b8022d27de88e8192
|
|
BLAKE2b-256 |
43a81184fa06690507190506be2ec607ad8d89a7e1d3ea7f1851b4a30f345cc6
|
File details
Details for the file reelay-2005.0-cp38-cp38-manylinux2014_x86_64.whl
.
File metadata
- Download URL: reelay-2005.0-cp38-cp38-manylinux2014_x86_64.whl
- Upload date:
- Size: 16.9 MB
- Tags: CPython 3.8
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.23.0 setuptools/46.1.3.post20200330 requests-toolbelt/0.9.1 tqdm/4.45.0 CPython/3.7.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 |
e08947c5bf7d576f072931881b5dae81c09539ebd4c089926631e215ef9edc6d
|
|
MD5 |
1f04fb303b58389425b4846f86d13271
|
|
BLAKE2b-256 |
e47e1f237d945b78e5a406ed3a86a971866285ca8ec07b67cd81e9ee871d3ce0
|
File details
Details for the file reelay-2005.0-cp37-cp37m-manylinux2014_x86_64.whl
.
File metadata
- Download URL: reelay-2005.0-cp37-cp37m-manylinux2014_x86_64.whl
- Upload date:
- Size: 17.0 MB
- Tags: CPython 3.7m
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.23.0 setuptools/46.1.3.post20200330 requests-toolbelt/0.9.1 tqdm/4.45.0 CPython/3.7.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 |
67930d58c6ea2cee74304dec9422d46c5eb1f077b7a36492118452a7e3b13770
|
|
MD5 |
b67be9c8f6bfb6aa62fdabebcac84718
|
|
BLAKE2b-256 |
0f6dee05d38a148b4d53b3bc24f1639dbbe71c441233b0c2838e6fbcb9215a14
|
File details
Details for the file reelay-2005.0-cp36-cp36m-manylinux2014_x86_64.whl
.
File metadata
- Download URL: reelay-2005.0-cp36-cp36m-manylinux2014_x86_64.whl
- Upload date:
- Size: 17.0 MB
- Tags: CPython 3.6m
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.23.0 setuptools/46.1.3.post20200330 requests-toolbelt/0.9.1 tqdm/4.45.0 CPython/3.7.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 |
3f5ca98ba3d522024847fb213885007b3905022b41d86d0f4a392b4853cc626c
|
|
MD5 |
12b9265a82fb4f25ff1f0c33f330f7ff
|
|
BLAKE2b-256 |
1f1066447cfdb147e99b464fbafa63b57e747cdb63bb70625feb212f11a78631
|
File details
Details for the file reelay-2005.0-cp35-cp35m-manylinux2014_x86_64.whl
.
File metadata
- Download URL: reelay-2005.0-cp35-cp35m-manylinux2014_x86_64.whl
- Upload date:
- Size: 17.0 MB
- Tags: CPython 3.5m
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.23.0 setuptools/46.1.3.post20200330 requests-toolbelt/0.9.1 tqdm/4.45.0 CPython/3.7.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 |
3cb5a4aee1fe0ec49d29bcaaa07e7c5899ba38e45fc6932f9c8b8fd60702c0d6
|
|
MD5 |
ca9fc0c5c3e93fdf7bea5a4091a8fd96
|
|
BLAKE2b-256 |
fafd50663341194582f439a1ecebff0c1b5f81f7defbb0cf363ebab66c598b20
|