Use Cases

The aim of this section is to illustrate a few interesting use cases where Tarski can help write simple yet powerful planning-related tools.

• Grounding Schematic Representations
• Solving Conformant Planning Problems with the \(K_0\) Compilation