pub type Mono = u64;Expand description
A multilinear monomial: the bitmask of the variables it contains (x² = x ⟹ squarefree). The u64
mask carries up to 63 variables; the clause engine’s explicit cube enumeration stops at 20, the
degree-bounded polynomial engine (monomials_up_to_degree) uses the full range.