imandrax-tools 0.1.0__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (6) hide show
  1. imandrax_tools/__init__.py +13 -0
  2. imandrax_tools/api_models.py +4 -0
  3. imandrax_tools/iml_query.py +4 -0
  4. imandrax_tools-0.1.0.dist-info/METADATA +16 -0
  5. imandrax_tools-0.1.0.dist-info/RECORD +6 -0
  6. imandrax_tools-0.1.0.dist-info/WHEEL +4 -0
imandrax_tools/__init__.py ADDED
@@ -0,0 +1,13 @@
1
+ """
2
+ ImandraX Tools - Common utilities for interacting with ImandraX / IML.
3
+
4
+ Umbrella package that bundles iml-query and imandrax-api-models.
5
+
6
+ Usage:
7
+ from imandrax_tools.api_models import ...
8
+ from imandrax_tools.iml_query import ...
9
+ """
10
+
11
+ from . import api_models, iml_query
12
+
13
+ __all__ = ['api_models', 'iml_query']
imandrax_tools/api_models.py ADDED
@@ -0,0 +1,4 @@
1
+ """Re-export of imandrax_api_models."""
2
+
3
+ from imandrax_api_models import * # noqa: F403 # pyright: ignore[reportWildcardImportFromLibrary]
4
+ from imandrax_api_models import __all__ # noqa: F401
imandrax_tools/iml_query.py ADDED
@@ -0,0 +1,4 @@
1
+ """Re-export of iml_query."""
2
+
3
+ from iml_query import * # noqa: F403, PLC0414 # pyright: ignore[reportWildcardImportFromLibrary]
4
+ from iml_query import __all__ # noqa: F401
imandrax_tools-0.1.0.dist-info/METADATA ADDED
@@ -0,0 +1,16 @@
1
+ Metadata-Version: 2.3
2
+ Name: imandrax-tools
3
+ Version: 0.1.0
4
+ Summary: Add your description here
5
+ Author: hongyu
6
+ Author-email: hongyu <hongyu@imandra.ai>
7
+ Requires-Dist: imandrax-api-models>=1.0.0
8
+ Requires-Dist: iml-query>=0.4.2
9
+ Requires-Python: >=3.12
10
+ Description-Content-Type: text/markdown
11
+
12
+ # ImandraX Tools
13
+
14
+ Common utilities for interacting with ImandraX / IML, for both humans and LLMs.
15
+
16
+ Umbrella package that bundles [iml-query](../iml-query) and [imandrax-api-models](../imandrax-api-models)
imandrax_tools-0.1.0.dist-info/RECORD ADDED
@@ -0,0 +1,6 @@
1
+ imandrax_tools/__init__.py,sha256=uBL0ZZpCA-aNBUTBAgmmLRcNHWs4KYzfhccArZASCOk,320
2
+ imandrax_tools/api_models.py,sha256=hGRKFLup2LDeGKby_qkXRD9zlLEA333EjlrUAFmELL0,195
3
+ imandrax_tools/iml_query.py,sha256=vJ9s1uoH-F2zF5pUbISgaM6FVsOvyEQ0vfOogjFqWzU,174
4
+ imandrax_tools-0.1.0.dist-info/WHEEL,sha256=-neZj6nU9KAMg2CnCY6T3w8J53nx1kFGw_9HfoSzM60,79
5
+ imandrax_tools-0.1.0.dist-info/METADATA,sha256=l11lvyqcctsNGPTfx60kkaGSrMnWip2JuLzOli0-wfY,493
6
+ imandrax_tools-0.1.0.dist-info/RECORD,,
imandrax_tools-0.1.0.dist-info/WHEEL ADDED
@@ -0,0 +1,4 @@
1
+ Wheel-Version: 1.0
2
+ Generator: uv 0.8.22
3
+ Root-Is-Purelib: true
4
+ Tag: py3-none-any