Getting Started

The following provides a tutorial-style introduction to the kind of tasks you can achieve with Tarski. You can also directly check the Tarski API, or head on to some advanced topics.

• Defining Your First Classical Planning Problem
• First-Order Logics in Tarski
• Parsing and Inspecting PDDL problems
• Problem Manipulation and Reformulation Techniques [TODO]