[−][src]Crate varisat_dimacs
DIMCAS CNF parser and writer for the Varisat SAT solver.
Structs
DimacsHeader | Variable and clause count present in a DIMACS CNF header. |
DimacsParser | Parser for DIMACS CNF files. |
Enums
ParserError | Possible errors while parsing a DIMACS CNF formula. |
Functions
write_dimacs | Write a formula as DIMACS CNF. |
write_dimacs_clauses | Write an iterator of clauses as headerless DIMACS CNF. |
write_dimacs_header | Write a DIMACS CNF header. |