Python inteface for Automated Reasoning (AR) solvers, provers, and checkers.
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
solverpy-1.7.0.tar.gz
(40.2 kB
view details)
Built Distribution
solverpy-1.7.0-py3-none-any.whl
(57.5 kB
view details)
File details
Details for the file solverpy-1.7.0.tar.gz
.
File metadata
- Download URL: solverpy-1.7.0.tar.gz
- Upload date:
- Size: 40.2 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.4
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0d839122d27260f340226d487612ebad965815092b04e3f0626fffc3003c4327 |
|
MD5 | 5a1e5c99b451a57d693c45ac8e11985b |
|
BLAKE2b-256 | b58397b54043bc866eaf06dfaac750d193babd9e1c8f6f5778c044cca2aa078c |
File details
Details for the file solverpy-1.7.0-py3-none-any.whl
.
File metadata
- Download URL: solverpy-1.7.0-py3-none-any.whl
- Upload date:
- Size: 57.5 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.4
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 25df1060db0e35bb98b0fb1ddcfee8ed19c784565ca2edc2c5b29fd905080087 |
|
MD5 | b7ce56c818bc108928ff10c31c1f81ff |
|
BLAKE2b-256 | 220fe4ee16ab30c71dd26df62c0bdc3ab099e4d294ba4208ba14fba63faee809 |