Module flussab_cnf::gcnf

Parsing and writing of the GCNF file format for group oriented CNF formulas.

Structs

• Config
  Configuration for the GCNF parser.
• Header
  Header data of a GCNF file.
• Parser
  Parser for the GCNF file format.

Functions

• write_clause
  Writes a clause belonging to a group.
• write_header
  Writes a GCNF header.