cvc4-solver

an efficient SMT solver library


Keywords
cvc4, smt, sat, prover, theorem
License
xpp
Install
pip install cvc4-solver==1.6