Function varisat::dimacs::write_dimacs_header

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

Write a DIMACS CNF header.

Can be used with write_dimacs_clauses to implement incremental writing.