Function flussab_cnf::gcnf::write_clause

source · 
pub fn write_clause<L: Dimacs>(
    writer: &mut DeferredWriter<'_>,
    group: usize,
    clause_lits: &[L]
)
Expand description

Writes a clause belonging to a group.