Metadata-Version: 2.3
Name: imandrax-tools
Version: 20.3.0
Summary: Umbralla package bundling imandrax-api-models and iml-query. Also provides miscellaneous utilities (goal state formatting, rec knowledge base).
Author: hongyu
Author-email: hongyu <hongyu@imandra.ai>
Requires-Dist: imandrax-api-models>=20.4.0,<21.0.0
Requires-Dist: iml-query>=0.11.0
Requires-Dist: pydantic>=2
Requires-Dist: structlog>=24
Requires-Dist: tree-sitter>=0.23
Requires-Dist: imandrax-codegen>=20.0.0,<21.0.0 ; extra == 'codegen'
Requires-Dist: imandrax-api-models[client]>=20.0.0,<21.0.0 ; extra == 'extended-client'
Requires-Dist: anywidget>=0.11.0 ; extra == 'widget'
Requires-Python: >=3.12
Provides-Extra: codegen
Provides-Extra: extended-client
Provides-Extra: widget
Description-Content-Type: text/markdown

# ImandraX Tools

Umbralla package bundling imandrax-api-models and iml-query. Also provides miscellaneous utilities (goal state formatting, rec knowledge base).
