class type solver = object .. end
The interface for a solver.
method add_clause : Term.term list -> unit
Adds the clause (disjunction of pure Boolean terms) to the
solver.
method solve : bool
Determines the satisfiability of the conjunction of clauses
added to the solver.
Hosted by the
* web site.
*Other names and brands may be claimed as the property
of others.