redundancyChecker

The constraint-pruning strategy. Cannot be changed while the solver is running.