module Solver_dtc: Delayed Theory Combination based solver.
class make :
Solver_api.dpll -> Solver_api.theory -> Solver_api.theory list ->
A solver for a combination of theories from a dpll solver, an euf
solver and a list of theory solvers.
Hosted by the
* web site.
*Other names and brands may be claimed as the property