SMTPlan+
PDDL+ planning through compilation to SMT
Full description on the project website: http://kcl-planning.github.io/SMTPlan
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