Module Solver_dpllt


module Solver_dpllt: sig .. end
A DPLL(T) solver.


This module implements a DPLL(T) style scheme for combining a DPLL solver with a theory solver. The combination scheme is described in the following papers.


class make : Solver_api.dpll -> Solver_api.theory -> Solver_api.solver

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