pub fn mask_clause(clause: &[Lit]) -> MaskClauseExpand description
The bitmask form of a clause (duplicates collapse; ≤ 63 variables).
pub fn mask_clause(clause: &[Lit]) -> MaskClauseThe bitmask form of a clause (duplicates collapse; ≤ 63 variables).