Python inteface for Automated Reasoning (AR) solvers, provers, and checkers.
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
solverpy-0.1.0.tar.gz
(32.1 kB
view details)
Built Distribution
solverpy-0.1.0-py3-none-any.whl
(50.5 kB
view details)
File details
Details for the file solverpy-0.1.0.tar.gz.
File metadata
- Download URL: solverpy-0.1.0.tar.gz
- Upload date:
- Size: 32.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.11.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 7892a4afc0dbf2a7c140412c05317fef82b0f287ede5b5f7269246ce3e4410d6 |
|
| MD5 | b144dca80319260e09e01495fa1a7713 |
|
| BLAKE2b-256 | 3175bb215e623cf06944ab607f96530388a949c8de930a333f064f084f106a87 |
Provenance
File details
Details for the file solverpy-0.1.0-py3-none-any.whl.
File metadata
- Download URL: solverpy-0.1.0-py3-none-any.whl
- Upload date:
- Size: 50.5 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.11.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 80c76607672cae3cd590402697711a4d2720307091063a54648c91951c9323b4 |
|
| MD5 | 75b59a76fc062004d0966cb9d69e83d7 |
|
| BLAKE2b-256 | b2eafc81cb74551f805ed4e7c042da31a67e886a5d7b4f0240a00dc9d778adfb |
