Dolmen_icnf.Statement
Implementation requirement for the iCNF format.
type t
The type of statements for iCNF.
type term
The type of iCNF terms.
type location
The type of locations.
val p_inccnf : ?loc:location -> unit -> t
header of an iCNF file.
val clause : ?loc:location -> term list -> t
Make a clause from a list of literals.
val assumption : ?loc:location -> term list -> t
Generate a solve instruction with the given list of assumptions.