Module Solver_dtc

module Solver_dtc: sig .. end
Delayed Theory Combination based solver.

class make : Solver_api.dpll -> Solver_api.theory -> Solver_api.theory list -> Solver_api.solver
A solver for a combination of theories from a dpll solver, an euf solver and a list of theory solvers.

Hosted by the Logo* web site.
*Other names and brands may be claimed as the property of others.