Distribution.Solver.Modular.Solver

Various options for the modular solver.

Run all solver phases.

In principle, we have a valid tree after validationPhase, which means that every Done node should correspond to valid solution.

There is one exception, though, and that is cycle detection, which has been added relatively recently. Cycles are only removed directly before exploration.

Whether to remove all choices after the first successful choice at each level in the search tree.