archful = false
archive_name = "imandra-2.10.0.tar.gz"
automode = true
extras = [
    "core",
    "dev",
    "http-api-client",
    "universe",
]
license_files_present = false
name = "imandra"
python_name = "python-imandra"
scripts = [
    "imandra-cli",
    "imandra-reasoners-mcp",
]
source = "PyPI"
summary = "A CLI and API client library for interfacing with Imandra_s web APIs"
top_level_modules = [
    "imandra",
    "imandra_http_api_client",
]
url = "..."
version = "2.10.0"