@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.java_smt.solvers.mathsat5

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

See: Description

Class Summary

Class	Description
Mathsat5SolverContext

Package org.sosy_lab.java_smt.solvers.mathsat5 Description

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