Small wrapper for tarski to do common STRIPS-like stuff.
Primary LanguagePythonMIT LicenseMIT
No issues in this repository yet.