@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.java_smt.solvers.boolector

Interface to the SMT solver Boolector (based on the native C API and JNI).

See: Description

Class Summary

Class	Description
BoolectorArrayFormulaManager
BoolectorBooleanFormulaManager
BoolectorFormulaCreator
BoolectorQuantifiedFormulaManager
BoolectorSolverContext

Enum Summary

Enum	Description
BtorOption

Package org.sosy_lab.java_smt.solvers.boolector Description

Interface to the SMT solver Boolector (based on the native C API and JNI).