Package org.sosy_lab.java_smt.solvers.cvc4

Interface to the SMT solver CVC4 (based on Java Bindings generated with SWIG).

See: Description

Class Summary

Class	Description
CVC4ArrayFormulaManager
CVC4BitvectorFormulaManager
CVC4BooleanFormulaManager
CVC4FloatingPointFormulaManager
CVC4Formula
CVC4FormulaCreator
CVC4IntegerFormulaManager
CVC4Model
CVC4RationalFormulaManager
CVC4SLFormulaManager
CVC4SolverContext

Package org.sosy_lab.java_smt.solvers.cvc4 Description

Interface to the SMT solver CVC4 (based on Java Bindings generated with SWIG).