Function varisat::dimacs::write_dimacs

pub fn write_dimacs<impl io::Write>(
    target: &mut impl io::Write, 
    formula: &CnfFormula
) -> Result<(), Error> where
    impl io::Write: Write, 

Write a formula as DIMACS CNF.

Use write_dimacs_header and write_dimacs_clauses to implement incremental writing.