Module flussab_cnf::gcnf

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

Structs

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.