Page Contributors: adamgreen, Adam Green,
Year Published: 2016
Paper: A Compilation of the Full PDDL+ Language into SMT [Cashmore, M. Fox, M. Long, D. Magazzeni, D.]
SMTPlan+ is a planner for hybrid systems.
It supports all the features of PDDL+, including exogenous events and continuous processes.
SMTPlan+ provides an SMT encoding of the PDDL+ models and can handle linear domains as well as domains with nonlinear polynomial change.
SMTPlan+ Supports the following features according to Eviscerator:
SMTPlan+ has one of the more modern and more comprehensive set of documentation for it. The GitHub repo for SMTPlan+ can be found here. Documentation on SMTPlan+ can be found on its GitHub pages website. Additional instructions for compilation can also be found here
SMTPlan+ supports polynomial continuous effects, and linear continuous effects,