PyPI page
Home page
Author:
Igor Konnov
Summary:
Python library to parse and emit Apalache/Quint traces in ITF JSON
Latest version:
0.5.0
Required dependencies:
frozendict
Downloads last day:
1
Downloads last week:
264
Downloads last month:
184
7-day smoothing