Symbolic Planner