Module flussab_cnf::cnf
source · Expand description
Parsing and writing of the DIMACS CNF file format.
Structs
- Configuration for the DIMACS CNF parser.
- Header data of a DIMACS CNF file.
- Parser for the DIMACS CNF file format.
Functions
- Writes a clause.
- Writes a DIMACS CNF header.