Solver.Default
Default configuration of the solver
val coverage : ?verbose:bool -> float -> int -> Csp.t -> Domains.Boolean.Make(Domains.BoxS).t Result.t
val satisfiability : ?verbose:bool -> float -> int -> Csp.t -> Kleene.t
val witness : ?verbose:bool -> float -> int -> Csp.t -> Consistency.feasible