HTN planner in Python