Class Solver_dtc.make

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. The solver is based on delayed theory combination:

Marco Bozzanoa, Roberto Bruttomessoa, Alessandro Cimattia, Tommi Junttilab, Silvio Ranisec, Peter van Rossumd and Roberto Sebastiani. Efficient theory combination via boolean search Information and Computation 204:1493-1525.

Hosted by the

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