/SpaceCut

Generator of no-plans for a monotone object planning domain.

Primary LanguagePython

SpaceCut

Generator of no-plans for a monotone object planning domain.

This tool is a companion to the paper: Michal Knapik, Artur Niewiadomski, Wojciech Penczek: Generating None-Plans in Order to Find Plans presented at SEFM'15.

We got the best paper award! :-)