Minimal breadth-first STRIPS planner.
It searches the finite action space up to a maximum depth and returns the first plan whose resulting state satisfies the goal propositions.