Closed GMMDMDIDEMS closed 3 weeks ago
Automatically import domains from rddlrepository and generate the corresponding config.yaml, extracting the relevant information from the domain.rddl and an example instance.rddl.
config.yaml
domain.rddl
instance.rddl
Fixed by f210c57b9b6df196e839e68843c99d9be7999340
Automatically import domains from rddlrepository and generate the corresponding
config.yaml
, extracting the relevant information from thedomain.rddl
and an exampleinstance.rddl
.