@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault
Package org.sosy_lab.java_smt
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 API package.
-
Class Summary Class Description SolverContextFactory Factory class for loading and generating solver contexts. -
Enum Summary Enum Description SolverContextFactory.Solvers