Added MiniZinc.
Added AMPL.
Added Gecode.