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:
0
Downloads last week:
10
Downloads last month:
70