@ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.solver.cvc4

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

See: Description

Class Summary

Class	Description
CVC4BooleanFormulaManager
CVC4Environment
CVC4Formula
CVC4FormulaCreator
CVC4FormulaManager
CVC4FunctionFormulaManager
CVC4IntegerFormulaManager
CVC4NumeralFormulaManager<ParamFormulaType extends NumeralFormula,ResultFormulaType extends NumeralFormula>
CVC4TheoremProver
CVC4UnsafeFormulaManager

Package org.sosy_lab.solver.cvc4 Description

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