Repository

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

Project Slug

tarski

Last Built

1 year, 5 months ago failed

Maintainers

Badge

Tags

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

Short URLs

tarski.readthedocs.io
tarski.rtfd.io

Default Version

latest

'latest' Version

master