module Solver_api: Term level interface specifications.
General term level interfaces to DPLL and theory solvers for use
with combination schemes. The interfaces are essentially in the
style of the following paper
class type dpll =
Term level interface to a DPLL solver.
class type theory =
Term level interface to all theory solvers.
class type solver =
The interface for a solver.
Hosted by the
* web site.
*Other names and brands may be claimed as the property