MiniZinc 2.1 MILP interface for Gurobi 7.5.1
MiniZinc develop branch
https://github.com/MiniZinc/libminizinc/tree/develop

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.