global-optimization julia-language minlp minlp-solver mixed-integer-nonlinear-programming mixed-integer-programming non-convex-optimization nonlinear-optimization optimization optimization-algorithms

control controller gurobi gurobi-optimization gurobipy mixed-integer-nonlinear-programming mixed-integer-programming model-based model-based-control nonlinear-control nonlinear-optimization nonlinear-programming planner planners planning planning-algorithms planning-domain-definition-language rddl rddl-domains