PDDLSolver

Requires the regex python library. This can be installed using pip with the following command:

pip install regex

Name		Name	Last commit message	Last commit date
Latest commit History 96 Commits
.gitignore		.gitignore
DomainParser.py		DomainParser.py
GraphGeneration.py		GraphGeneration.py
GraphGeneration2.py		GraphGeneration2.py
PDDLsolver.py		PDDLsolver.py
ProblemParser.py		ProblemParser.py
README.md		README.md
domain-gripper.pddl		domain-gripper.pddl
domain-pass-ball.pddl		domain-pass-ball.pddl
logical_classes.py		logical_classes.py
pass-ball-problem1.pddl		pass-ball-problem1.pddl
prob01.pddl		prob01.pddl
problem0-robot.pddl		problem0-robot.pddl
problem4-robot.pddl		problem4-robot.pddl
problem6-fail-robot.pddl		problem6-fail-robot.pddl
util.py		util.py

Provide feedback