PyPI page
Summary:
Utilities for working with TLA+ state graphs
Latest version:
0.2.0
Optional dependencies:
py-d2
|
tree-sitter
|
tree-sitter-tlaplus
Downloads last day:
3
Downloads last week:
3
Downloads last month:
6
7-day smoothing