Module flussab_cnf::gcnf
source · Expand description
Parsing and writing of the GCNF file format for group oriented CNF formulas.
Structs
- Configuration for the GCNF parser.
- Header data of a GCNF file.
- Parser for the GCNF file format.
Functions
- Writes a clause belonging to a group.
- Writes a GCNF header.