Decoupling Transformer A task transformation that brings decoupled search to off-the-shelf classical planners. PlanPilot Interactive exploration of the plan space of classical planning problems. Planalyst Counting and reasoning about the plans of a classical planning problem. Decoupling Transformer SAT SAT-based planning with axioms, built on the Decoupling Transformer.