Function flussab_cnf::wcnf::write_clause

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

Writes a weighted clause.