Metadata-Version: 2.3
Name: imandrax-tools
Version: 0.1.0
Summary: Add your description here
Author: hongyu
Author-email: hongyu <hongyu@imandra.ai>
Requires-Dist: imandrax-api-models>=1.0.0
Requires-Dist: iml-query>=0.4.2
Requires-Python: >=3.12
Description-Content-Type: text/markdown

# ImandraX Tools

Common utilities for interacting with ImandraX / IML, for both humans and LLMs.

Umbrella package that bundles [iml-query](../iml-query) and [imandrax-api-models](../imandrax-api-models)
