model-based-control
JAX compilation of RDDL description files, and a differentiable planner in JAX.
pyRDDLGym-rl: Wrappers for reinforcement learning algorithms (i.e. stable baselines 3) to work with pyRDDLGym.
Gurobi compilation of RDDL description files to mixed-integer programs, and optimization tools.