Module oxidd_parser::dimacs
source · Expand description
A DIMACS CNF/SAT parser based on the paper “Satisfiability Suggested Format”
Functions§
- Parse a DIMACS CNF/SAT file
A DIMACS CNF/SAT parser based on the paper “Satisfiability Suggested Format”