Ferdian Jovan
Results
1
issues of
Ferdian Jovan
Hi, I am trying to use SMTPlan on examples in https://github.com/yarox/pddl-examples. It is just the planner runs really slow after the encoding step greater than 25. For example, the strips...