Function flussab_cnf::cnf::write_clause [−][src]
pub fn write_clause<L: Dimacs>(
writer: &mut impl Write,
clause_lits: &[L]
) -> Result<()>
Writes a clause.
pub fn write_clause<L: Dimacs>(
writer: &mut impl Write,
clause_lits: &[L]
) -> Result<()>
Writes a clause.