This repository contains the public version of the Springroll planner. The planner is a SMT-based planner adopting the encoding described in "Numeric Planning with Disjunctive Global Constraints via SMT" E. Scala, M. Ramirez, S. Thiebaux, P. Haslum ICAPS 2016

Name
Last commit
Last update
dist Loading commit data...
mot_example Loading commit data...
src Loading commit data...
unit_testing Loading commit data...
.gitignore Loading commit data...
README.md Loading commit data...
build.xml Loading commit data...
contributors.txt Loading commit data...
install Loading commit data...
manifest.mf Loading commit data...
springroll Loading commit data...