Crate dimacs [−] [src]
The parser facility for parsing .cnf
and .sat
files as specified in the
DIMACS format specification.
The DIMACS format was specified for the DIMACS SAT solver competitions as input file format. Many other DIMACS file formats exist for other competitions, however, this crate currently only supports the formats that are relevant for SAT solvers.
In .cnf
the entire SAT formula is encoded as a conjunction of disjunctions and so mainly stores
a list of clauses consisting of literals.
The .sat
format is slightly more difficult as the formula can be of a different shape and thus
a .sat
file internally looks similar to a Lisp file.
Modules
errors |
Defines some error kinds and facilities to communicate errors while parsing
|
items |
Some item definitions used in instances to provide a virtual representative
structure of |
parser |
The parser facility for parsing |