Function varisat_dimacs::write_dimacs_clauses

pub fn write_dimacs_clauses(
    target: &mut impl Write, 
    clauses: impl IntoIterator<Item = impl IntoIterator<Item = impl Borrow<Lit>>>
) -> Result<()>

Write an iterator of clauses as headerless DIMACS CNF.

Can be used with write_dimacs_header to implement incremental writing.