Metadata-Version: 2.3
Name: itf-py
Version: 0.2.0
Summary: Python library to parse and emit Apalache ITF traces
Keywords: itf,trace,parser,tlaplus,apalache,quint
Author: Igor Konnov
Author-email: igor@konnov.phd
Requires-Python: >=3.12,<4.0
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Requires-Dist: frozendict (>=2.4.6,<3.0.0)
Requires-Dist: frozenlist (>=1.7.0,<2.0.0)
Project-URL: Homepage, https://github.com/konnov/itf-py
Description-Content-Type: text/markdown

# ITF-py: Parser and Encoder for the ITF Trace Format

Python library to parse and emit Apalache ITF traces. Refer to
[ADR015](https://apalache-mc.org/docs/adr/015adr-trace.html) for the format. ITF
traces are emitted by [Apalache](https://github.com/apalache-mc/apalache) and
[Quint](https://github.com/informalsystems/quint).

**Intentionally minimalistic.** We keep this library intentionally minimalistic.
You can use it in your projects without worrying about pulling dozens of
dependencies.
