Writing Efficient Models II

Use global constraints such as alldifferent since they have better propagation behavior Try different models for the problem Add redundant constraints Bound variables as tightly as possible (avoid var int) Avoid introducing unnecessary variables