[−][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. |
Constants
| _DERIVE_failure_Fail_FOR_ParserError | |
| _DERIVE_failure_core_fmt_Display_FOR_ParserError |
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. |