JavaSMT Solver Library

Packages

Package	Description
org.sosy_lab.solver	JavaSMT: a generic SMT solver API.
org.sosy_lab.solver.api	The core interfaces for abstracting from SMT solvers and providing a common API for all solvers.
org.sosy_lab.solver.basicimpl	Abstract base classes for easier implementation of a solver-specific interface.
org.sosy_lab.solver.basicimpl.cache	Caching layer for solver queries.
org.sosy_lab.solver.basicimpl.reusableStack	This wrapper around another theorem prover can be used, if the inner theorem prover does not support addConstraints(f) on an empty stack, i.e.
org.sosy_lab.solver.basicimpl.tactics	Default tactics implementations (formula-to-formula transformations).
org.sosy_lab.solver.basicimpl.withAssumptionsWrapper	Wrapper-classes to guarantee identical behavior for all solvers.
org.sosy_lab.solver.example	Some basic examples for using Java-SMT.
org.sosy_lab.solver.logging	Wraps the proving environment with loggers.
org.sosy_lab.solver.test	Solver-independent tests and test utilities for the solver API.
org.sosy_lab.solver.visitors	The visitors of this package allow for efficient traversal, manipulation and transformation of formulas.