Expand description
Parsing functions for DIMACS CNF format.
The DIMACS CNF format is used to represent SAT formulas in CNF. It was first used in the 2nd DIMACS implementation challenge.
Tokenization is performed using CNFToken.
Functionsยง
- parse_
cnf_ from_ file - Parse a formula from a DIMACS CNF file.