Class Solver_dpll.make

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.