Controlling Solver Behavior#