Module flussab_cnf::cnf [−][src]
Parsing and writing of the DIMACS CNF file format.
Structs
Header | Header data of a DIMACS CNF file. |
Parser | Parser for the DIMACS CNF file format. |
Functions
write_clause | Writes a clause. |
write_header | Writes a DIMACS CNF header. |