MiniZinc 2.1 MILP interface for IBM ILOG CPLEX 12.6.0.0 MiniZinc Release 2.1.7 http://www.minizinc.org/software.html Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace. Improved Linearization of Constraint Programming Models. In M. Rueher, editor, Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. LNCS 9892, pp. 49-65, Springer, 2016.