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.
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.
Built Distribution
Close
Hashes for cvc4_solver-1.6-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 36b8449b2e279255987a13c553971c4691ae3263452eec6ab5170dac47de949a |
|
MD5 | 3b853daf39fca0faab648965fa12afe1 |
|
BLAKE2-256 | 13457e46618e78f6c276cb8095239db0a5db412b90bb9d5acd8ae4bf91913f7a |