Module flussab_cnf::cnf

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.