Repository

https://github.com/aig-upf/tarski.git

Project Slug

tarski

Last Built

4 months, 1 week ago failed

Maintainers

Badge

Tags

python3, first-order-logic, automated-planning, functional-strips, strips

Short URLs

tarski.readthedocs.io
tarski.rtfd.io

Default Version

latest

'latest' Version

master