Function varisat_dimacs::write_dimacs_header

pub fn write_dimacs_header(
    target: &mut impl Write, 
    header: DimacsHeader
) -> Result<()>

Write a DIMACS CNF header.

Can be used with write_dimacs_clauses to implement incremental writing.