GitHub repository: pyrddlgym-project/pyRDDLGym-gurobi
Primary language: Python
Created: 2024-02-05T23:20:10Z
Description: Gurobi compilation of RDDL description files to mixed-integer programs, and optimization tools.