@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.solver

JavaSMT: a generic SMT solver API.

See: Description

Interface Summary

Interface	Description
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.

Class Summary

Class	Description
SolverContextFactory	Factory class for loading and generating solver contexts.

Enum Summary

Enum	Description
SolverContextFactory.Solvers

Exception Summary

Exception	Description
SolverException	Exception thrown if there is an error during SMT solving.

Package org.sosy_lab.solver Description

JavaSMT: a generic SMT solver API.