Function varisat_dimacs::write_dimacs

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

Write a formula as DIMACS CNF.

Use write_dimacs_header and write_dimacs_clauses to implement incremental writing.