cspom.compiler
If given constraint is an all-equal constraint, merges and removes all auxiliary variables.
If given constraint is an all-equal constraint, merges and removes all auxiliary variables.