Crate flussab_cnf[−][src]
This crate contains parsers and writers for the DIMACS CNF file format.
In the future it will also contain parser for extensions of this format and other closely related file formats.
See the cnf
module for the DIMACS CNF file format.
Modules
cnf | Parsing and writing of the DIMACS CNF file format. |
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 |