sig
  class make :
    Solver_api.dpll ->
    Solver_api.theory -> Solver_api.theory list -> Solver_api.solver
end

---

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