We are working on a production scheduling problem that has both discrete ("how much to produce from good x and where") and continuous elements ("keep the workload of a production site below 0.7"), and also non-linear constraints, MIP is not applicable.
Since we do have a somewhat complex model already in MiniZinc (we are currently using Google OR-Tools), I am wondering which MiniZinc-compatible solver provides most support for floating decision variables (maybe interval-based). Choco, JaCoP, Gecode .... ?
Otherwise, what could be similar high-level modeling languages that deal with continuous problems better? AMPL?
Thankful for your hints!