Solver.Make
module D : Signature.Domain
val coverage : ?verbose:bool -> float -> int -> Csp.t -> D.t Result.t
coverage of the solution space
val satisfiability : ?verbose:bool -> float -> int -> Csp.t -> Kleene.t
satisfiability check
val witness : ?verbose:bool -> float -> int -> Csp.t -> Consistency.feasible
satisfiability check, with witness