summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore2logplain
-rw-r--r--README.md305logplain
-rw-r--r--domain.pddl878logplain
-rw-r--r--example_problem.pddl201logplain