Metadata-Version: 2.3
Name: imandrax-api-models
Version: 19.4.0
Summary: Add your description here
Author: hongyu
Author-email: hongyu <hongyu@imandra.ai>
Requires-Dist: devtools>=0.12.2
Requires-Dist: imandrax-api[async]>=0.19
Requires-Dist: pydantic>=2.12.4
Requires-Dist: pyyaml>=6.0.3
Requires-Dist: iml-query>=0.5.0 ; extra == 'client'
Requires-Python: >=3.12
Provides-Extra: client
Description-Content-Type: text/markdown

# ImandraX API Models

Pydantic models for the ImandraX API.
