See: Description
| 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.tactics |
Default tactics implementations (formula-to-formula transformations).
|
| 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.
|
| org.sosy_lab.solver.z3java |
Interface to the SMT solver Z3 (based on the Java-Interface).
|