Hi,
The function get_instance(self, num: int) in the ExampleManager class assumes an int argument to load specific instance files. As some domains in the examples have instance files including chars, like instance1c.rddl it is not possible to use the function above. Changing the argument type to str will fix the issue.
Hi, The function
get_instance(self, num: int)in theExampleManagerclass assumes anintargument to load specific instance files. As some domains in the examples have instance files including chars, likeinstance1c.rddlit is not possible to use the function above. Changing the argument type tostrwill fix the issue.