Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Minimalistic Python client for interaction with the Apalache model checker over JSON RPC
Python library to parse and emit Apalache/Quint traces as JSON ITF
