@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.java_smt.solvers.smtinterpol

Interface to the SMT solver SMTInterpol.

See: Description

Class Summary

Class	Description
SmtInterpolEnvironment	This is a Wrapper around SmtInterpol.
SmtInterpolFormulaManager
SmtInterpolSolverContext

Package org.sosy_lab.java_smt.solvers.smtinterpol Description

Interface to the SMT solver SMTInterpol.