All Packages
Package Summary
Package
Description
JavaSMT: a generic SMT solver API.
The core interfaces for abstracting from SMT solvers and providing a common API for all solvers.
The visitors of this package allow for efficient traversal, manipulation and transformation of
formulas.
Abstract base classes for easier implementation of a solver backend.
Default tactics implementations (formula-to-formula transformations).
Wrapper-classes to guarantee identical behavior for all solvers.
Wraps the proving environment with loggers.
The classes of this package wrap the whole proving environment and measure all accesses to it.
The classes of this package wrap the whole solver context and all corresponding proving
environment and synchronize all accesses to it.
Some basic examples for using Java-SMT.
Some basic examples for using Java-SMT.
Solver-independent tests and test utilities for the solver API.
Utility classes implementing algorithms based on the API of JavaSMT.