This crate contains parsers and writers for the DIMACS CNF file format and for some variants or extensions of this format.
In the future it will also contain parser for other closely related file formats.
Parsing and writing of the DIMACS CNF file format.
Parsing and writing of the GCNF file format for group oriented CNF formulas.
Parsing and writing of the WCNF file format for weighted CNF formulas.
Type that can be used to represent literals and variables in DIMACS CNF and related file formats.
Boxed version of