Last released Jul 6, 2026
Protocol specifications as Python code
Last released Apr 6, 2026
Minimalistic Python client for interaction with the Apalache model checker over JSON RPC
Last released Feb 17, 2026
Python library to parse and emit Apalache/Quint traces in ITF JSON
Supported by
