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.