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
- SMTPlan: source code for SMTPlan+
- benchmarks: PDDL2.1 and PDDL+ benchmark domains and problems