Apalache Python Packages

modelator-py

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

apalache-rpc-client

Minimalistic Python client for interaction with the Apalache model checker over JSON RPC

itf-py

Python library to parse and emit Apalache/Quint traces as JSON ITF