Metadata-Version: 2.4
Name: imandrax-codegen
Version: 18.6.0
Summary: Code generator for ImandraX artifact
Author-email: hongyu <hongyu@imandra.ai>
Requires-Python: >=3.12
Description-Content-Type: text/markdown
Requires-Dist: devtools>=0.12.2
Requires-Dist: dotenv>=0.9.9
Requires-Dist: imandrax-api-models<19,>=18.0.0
Requires-Dist: imandrax-api[async]<0.19,>=0.18.0.1
Requires-Dist: iml-query>=0.3.4
Requires-Dist: pydantic>=2.12.3
Requires-Dist: pyyaml>=6.0.3
Requires-Dist: rich>=14.2.0
Requires-Dist: ruff>=0.14.3
Requires-Dist: typer>=0.21.0

# ImandraX Code Generator

Code generator for ImandraX artifact

## System Dependencies

`libz.so.1` (zlib), `libgmp.so.10` (GMP), and `libprotobuf.so` are required at runtime by the bundled `art_parse.exe` binary; they are present on all standard Linux distributions but Nix users must add `pkgs.zlib`, `pkgs.gmp`, and `pkgs.protobuf` to `buildInputs` and `LD_LIBRARY_PATH`.
