Module flussab_cnf::cnf

Parsing and writing of the DIMACS CNF file format.

Structs

• Config
  Configuration for the DIMACS CNF parser.
• 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.