an efficient SMT solver library
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.
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|
Hashes for cvc4_solver-1.6-py2.py3-none-manylinux1_x86_64.whl