tarski (pypi): Tarski is a framework for the specification, modeling and manipulation of AI planning problems.
Keywords: planning|logic|STRIPS|RDDL|automated-planning|first-order-logic|functional-strips|python3|strips