PyPI page
Home page
Author:
Igor Konnov
Summary:
Minimalistic Python client for interaction with the Apalache model checker over JSON RPC
Latest version:
0.7.2
Required dependencies:
itf-py
|
requests
Downloads last day:
1
Downloads last week:
56
Downloads last month:
126