You can search for identifiers within the package.
in-package search v0.2.0
qbf
qbf.quantor
Qbf
type 'a printer = Format.formatter -> 'a -> unit
type 'a sequence = ('a -> unit) -> unit
type assignment =
| True
| False
| Undef
val pp_assignment : assignment printer
type quantifier =
| Forall
| Exists
val pp_quantifier : quantifier printer
module Lit : sig ... end
module CNF : sig ... end
module QCNF : sig ... end
module Formula : sig ... end
module QFormula : sig ... end
type result =
| Unknown
| Sat of Lit.t -> assignment
| Unsat
| Timeout
| Spaceout
val pp_result : result printer
type solver = {
name : string;
solve : QCNF.t -> result;
}
val solve : solver:solver -> QCNF.t -> result
Check whether the CNF formula is true (satisfiable) or false using the given solver