tarski

library0.9.1pypypi✓ verified 79d ago

Tarski is a framework for the specification, modeling and manipulation of AI planning problems. It provides tools for parsing PDDL, grounding actions, and interfacing with planners. Current version: 0.9.1. Release cadence: irregular, with minor updates roughly every 2-3 months.

ai-ml data serialization

pip install tarski

github ↗package ↗

INSTALL

IMPORT

SIG · TARSKI

tarski

ai-mlpythonv0.9.1

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

Constant

✓ from tarski import Constant

✗ from tarski import tarski_model as tarski

FirstOrderLanguage

✓ from tarski import FirstOrderLanguage

Formula

✓ from tarski import Formula

Parse a PDDL domain and problem file, then print basic info.

from tarski.io import parse_problem # Parse a PDDL domain and problem problem = parse_problem('/path/to/domain.pddl', '/path/to/problem.pddl') print(problem.name) print('Actions:', list(problem.actions)) print('Objects:', list(problem.objects))

Debug

Known issues

breakingVersion 0.9.0 dropped support for Python <3.10. Upgrade Python if needed.

fix

Use Python 3.10+ or stay on 0.8.x if you need older Python.

affects: >=0.9.0

gotchaThe 'TarskiWorld' class is not directly importable from the top-level tarski package. Many tutorials show the wrong import.

fix

Use: from tarski import tarski_model as tarski

affects: all

deprecatedThe 'ground' method from older versions has been moved to the 'operations' module.

fix

Use: from tarski.operations import ground

affects: >=0.8.0

Upgrade

Version history

0.9.1latest on PyPI · released Dec 23, 2025

Audit

Dependencies

pyrddloptionalRDDL parsing support (optional)

pytoulbar2optionalTOULBAR2 constraint optimization (optional)

Agent activity

23 hits · last 30 days

node

OpenAI (training)

Resources

githubhttps://github.com/aig-upf/tarski ↗

packagehttps://pypi.org/project/tarski/ ↗