[−][src]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<(), Error>
Write an iterator of clauses as headerless DIMACS CNF.
Can be used with write_dimacs_header
to implement incremental writing.