STRIPS planner with PDDL-like problem specification in Python