Writing Efficient Models I

Add search annotations to the solve item to control exploration of the search space first_fail (MRV): choose the variable with the smallest domain size indomain_min: assign the variable its smallest domain value See reference manual for a complete list of heuristics