an efficient SMT solver library
Project description
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.
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.
| Filename, size | File type | Python version | Upload date | Hashes |
|---|---|---|---|---|
| Filename, size cvc4_solver-1.6-py2.py3-none-manylinux1_x86_64.whl (7.2 MB) | File type Wheel | Python version py2.py3 | Upload date | Hashes View |
Close
Hashes for cvc4_solver-1.6-py2.py3-none-manylinux1_x86_64.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 36b8449b2e279255987a13c553971c4691ae3263452eec6ab5170dac47de949a |
|
| MD5 | 3b853daf39fca0faab648965fa12afe1 |
|
| BLAKE2-256 | 13457e46618e78f6c276cb8095239db0a5db412b90bb9d5acd8ae4bf91913f7a |
