Metadata-Version: 2.4
Name: imandrax-tools
Version: 19.0.0
Requires-Dist: imandrax-api-models>=19.3.1
Requires-Dist: iml-query>=0.9.0
Requires-Dist: pydantic>=2
Requires-Dist: structlog>=24
Requires-Dist: tree-sitter>=0.23
Requires-Dist: imandrax-codegen>=19.0.0 ; extra == 'codegen'
Requires-Dist: imandrax-api-models[client]>=19.3.1 ; extra == 'extended-client'
Provides-Extra: codegen
Provides-Extra: extended-client
Summary: Add your description here
Author-email: hongyu <hongyu@imandra.ai>
Requires-Python: >=3.12
Description-Content-Type: text/markdown; charset=UTF-8; variant=GFM

# ImandraX Tools

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

Umbrella package that 
- bundles 
  - [iml-query](../iml-query) 
  - [imandrax-api-models](../imandrax-api-models)
- provides Python binding for [goal-state](https://github.com/imandra-ai/imandrax-tools/tree/main/packages/goal-state) Rust crate

