module Solver_dpll: sig .. end
DPLL-based SAT Solver
class make : (unit -> Solver_api.dpll) -> Solver_api.solver
A solve strategy using the supplied DPLL transition system.
Hosted by the
* web site.
*Other names and brands may be claimed as the property
of others.