mixed-integer-nonlinear-programming
Gurobi compilation of RDDL description files to mixed-integer programs, and optimization tools.
Cutting-plane solver for mixed-integer convex optimization problems