Crate flussab_cnf[−][src]
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.
Modules
cnf | Parsing and writing of the DIMACS CNF file format. |
gcnf | Parsing and writing of the GCNF file format for group oriented CNF formulas. |
wcnf | Parsing and writing of the WCNF file format for weighted CNF formulas. |
Enums
InnerParseError | Either a |
Traits
Dimacs | Type that can be used to represent literals and variables in DIMACS CNF and related file formats. |
Type Definitions
ParseError | Boxed version of |