You might also be interested in looking at MiniZinc (http://minizinc.org/ http://minizinc.org/). It is mostly used int the constraint programming community, but

You might also be interested in looking at MiniZinc (http://minizinc.org/ http://minizinc.org/). It is mostly used int the constraint programming community, but the language is solver technology neutral and there are back-ends that translate to MIP systems. The MiniZinc Challenge (http://www.minizinc.org/challenge2017/results2017.html http://www.minizinc.org/challenge2017/results2017.html) is a competition between various solvers where the organizers enter some MIP solver back-ends also. Personally I enjoy using MiniZinc as a language for prototyping models in, and enabling me to experiment and compare various different solver technologies easily.