PyPI page
Author:
hongyu
Summary:
Tree-sitter based utility for parsing, querying, and manipulating IML (Imandra Model Language).
Latest version:
0.16.0
Required dependencies:
devtools
|
rich
|
sexpdata
|
structlog
|
tree-sitter
|
tree-sitter-iml
Downloads last day:
38
Downloads last week:
510
Downloads last month:
389
7-day smoothing