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
