package libabsolute

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `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