PyPI page
Home page
Author:
None
Summary:
A CLI and API client library for interfacing with Imandra's web APIs
Latest version:
2.8.0
Required dependencies:
platformdirs
|
requests
Optional dependencies:
aenum
|
devtools
|
imandrax-api
|
imandrax-api-models
|
ipykernel
|
langgraph
|
langgraph-sdk
|
pydantic
|
pytest
|
pytest-asyncio
|
python_dateutil
|
rich
|
urllib3
Downloads last day:
4
Downloads last week:
66
Downloads last month:
493