KCL-Planning / SMTPlan

PDDL+ planning through compilation to SMT

SMTPlan+

PDDL+ planning through compilation to SMT

Full description on the project website: http://kcl-planning.github.io/SMTPlan

The easiest way to get SMTPlan is now through planutils: https://github.com/AI-Planning/planutils

Old installation and user instructions in SMTPlan directory: https://github.com/KCL-Planning/SMTPlan/tree/master/SMTPlan

Contents

• SMTPlan: source code for SMTPlan+
• benchmarks: PDDL2.1 and PDDL+ benchmark domains and problems