Planalyst

Counting and reasoning about the plans of a classical planning problem.

Planalyst analyzes PDDL planning problems by counting how many plans a task admits, using methods such as model counting, decision-DNNF compilation, and plan enumeration. It integrates several planning and reasoning tools to support counting and reasoning with planning solutions, as introduced in our AAAI 2025 paper (Speck et al., 2025).

The implementation is available on GitHub.

See also the related PlanPilot project for interactive exploration of plan spaces.

References

2025

  1. Counting and Reasoning with Plans
    David Speck, Markus Hecher, Daniel Gnad, and 2 more authors
    In Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2025), 2025
    PDF