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:
4
Downloads last week:
28
Downloads last month:
91