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