1 result found Sort:

aig-upf
tarski aig-upf
20
64
apache-2.0
11
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