CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.
1 maintainer
Metadata
1 maintainer
Release files for cvc4-solver 1.6
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| cvc4_solver-1.6-py2.py3-none-manylinux1_x86_64.whl | Python 3, Python 2 | none | Linux glibc 2.5+ x86-64 | Details |
Release files / cvc4_solver-1.6-py2.py3-none-manylinux1_x86_64.whl
| Download URL | cvc4_solver-1.6-py2.py3-none-manylinux1_x86_64.whl |
|---|---|
| Size | 7.2 MB |
| Tags | Linux glibc 2.5+ x86-64 Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
36b8449b2e279255987a13c553971c4691ae3263452eec6ab5170dac47de949a
|
|
BLAKE2b-256 checksum How to use checksums |
13457e46618e78f6c276cb8095239db0a5db412b90bb9d5acd8ae4bf91913f7a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/1.12.1 pkginfo/1.5.0.1 requests/2.21.0 setuptools/40.6.3 requests-toolbelt/0.8.0 tqdm/4.30.0 CPython/3.6.7
|
