Function flussab_cnf::cnf::write_clause
source · pub fn write_clause<L: Dimacs>(
writer: &mut DeferredWriter<'_>,
clause_lits: &[L]
)
Expand description
Writes a clause.
pub fn write_clause<L: Dimacs>(
writer: &mut DeferredWriter<'_>,
clause_lits: &[L]
)
Writes a clause.