Constraint programming solvers tends to focus on finite domain (integers) but there are some solvers that has some supports for floats as decision variables. Yo

Constraint programming solvers tends to focus on finite domain (integers) but there are some solvers that has some supports for floats as decision variables. You can try some of these solvers. For non linear models: * Gecode (included in the MiniZincIDE distribtion) * JaCoP (https://github.com/radsz/jacop https://github.com/radsz/jacop) * OptiMathSAT (https://optimathsat.disi.unitn.it/pages/fznreference.html https://optimathsat.disi.unitn.it/pages/fznreference.html) For linear models: * CBC (included in the MiniZincIDE distribution)