@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.java_smt

JavaSMT: a generic SMT solver API.

See: Description

Class Summary

Class	Description
SolverContextFactory	Factory class for loading and generating solver contexts.
SolverContextFactory.InnerUtilFactory	Interface for completely encapsulating all accesses to a solver's package to decouple the solver's package from the rest of the code.

Enum Summary

Enum	Description
SolverContextFactory.Solvers

Package org.sosy_lab.java_smt Description

JavaSMT: a generic SMT solver API.

SolverContextFactory is a package entry point, which creates a SolverContext object. All operations on formulas are performed using managers, available through the context object.

All interfaces which form the public API are located in the org.sosy_lab.java_smt.api package.