PyPI page
Home page
Author:
None
Summary:
Tree-sitter based utility for parsing, querying, and manipulating IML (Imandra Model Language).
Latest version:
0.12.0
Required dependencies:
devtools
|
rich
|
sexpdata
|
structlog
|
tree-sitter
|
tree-sitter-iml
Downloads last day:
1
Downloads last week:
29
Downloads last month:
928