Proper equality elimination in linear programming optimization.
Fixed test.
Unsatisfiable exception.
Use choco 3.2.0.
Better at reducing the cardinality of unique references.