Function varisat::dimacs::write_dimacs_clauses

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

Write an iterator of clauses as headerless DIMACS CNF.

Can be used with write_dimacs_header to implement incremental writing.