Creating Solver Templates