Class Solver_dpllt.make

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

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