Controlling Solver Behavior

Controlling Solver Behavior#