jbx1 / SMTPlan Public

forked from KCL-Planning/SMTPlan

Notifications You must be signed in to change notification settings
Fork 0
Star 0

PDDL+ planning through compilation to SMT

0 stars 19 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 69 Commits
SMTPlan		SMTPlan
benchmarks		benchmarks
.gitignore		.gitignore
README.md		README.md

Repository files navigation

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

About

PDDL+ planning through compilation to SMT

Report repository

Releases

No releases published

Packages

No packages published

Languages

C++ 94.9%
Yacc 4.3%
Other 0.8%