Module dimacs::items

Some item definitions used in instances to provide a virtual representative structure of .cnf or .sat files and their associated clauses or formula.

Structs

Clause	Represents a clause instance within a .cnf file.
Extensions	Possible extensions for .sat file SAT instances.
Lit	Represents a literal within clauses of formulas of a SAT instance.
Var	Represents a variable within a SAT instance.

Enums

Formula	Represents the structure of formulas of .sat files.
Instance	Represents a SAT instance for .cnf or .sat files.
Sign	Represents the sign of a literal.

Constants

EQ	If the EQ-Extension is being used to allow for =(..) formulas.
NONE	If no extensions are being used.
XOR	If the XOR-Extension is being used to allow for xor(..) formulas.

Type Definitions

FormulaBox	An indirection to a Formula via Box.
FormulaList	An immutable list of Formulas.