Module Solver.Make

Parameters

Signature

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