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