Last released Dec 23, 2025
Tarski is a framework for the specification, modeling and manipulation of AI planning problems.
Supported by
