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. PlanViz Web-based visualization of causal graphs, landmark graphs, and domain transition graphs of PDDL tasks. PlanForge A numeric planner written in Rust that natively supports numeric variables. Count Downward Numeric planning with abstraction heuristics, participant of the International Planning Competition 2026.