Formally Represented PDDL Planning Domains

This is a repository to store PDDL domain files that are extended with a domain-wide goal and constraints describing which instances are legal for the domain.

With those extensions the domains comply with the formalism presented in the paper C. Grundke, G. Röger, M. Helmert. Formal Representations of Classical Planning Domains. In Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 239-248. 2024.

The extension to PDDL types has been introduced in the paper C. Grundke, M. Helmert, G. Röger. Domain-Independent Instance Generation for Classical Planning. In Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025). 2025.

This is the version used in the paper "Domain-Independent Instance Generation for Classical Planning".