pub type MaskClause = (u64, u64);Expand description
A clause as a signed bitmask pair (pos, neg) over ≤ 63 variables — pos the positive literals’
variable set, neg the negative ones’. The empty clause is (0, 0); a tautology has
pos & neg ≠ 0. This is the Subcube blocker seen from the clause side (care = pos|neg,
value = neg).