1 result found Sort:

aig-upf
tarski aig-upf
18
57
apache-2.0
10
Tarski - An AI Planning Modeling Framework
strips python3 first-order-logic functional-strips automated-planning
Created 2018-01-09
1,251 commits to master branch, last one 2 years ago