Last released Apr 7, 2022
Tarski is a framework for the specification, modeling and manipulation of AI planning problems.
Supported by