KCL-Planning / SMTPlan

PDDL+ planning through compilation to SMT
45Updated 2 years ago

Alternatives and similar repositories for SMTPlan:

Users that are interested in SMTPlan are comparing it to the libraries listed below