package libabsolute

  1. Overview
  2. Docs

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

OCaml

Innovation. Community. Security.