pyRDDLGym-jax: automatic differentiation for solving sequential planning problems in JAX.
Wrappers for reinforcement learning algorithms (i.e. stable baselines 3, RLlib) to work with pyRDDLGym.
Gurobi compilation of RDDL description files to mixed-integer programs, and optimization tools.