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