| accelerate==1.3.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| altair==5.5.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| annotated-types==0.7.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| anyio==4.8.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| async-timeout==5.0.1 ; python_version >= "3.10" and python_full_version < "3.11.3" | |
| attrs==25.1.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| blinker==1.9.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| cachetools==5.5.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| certifi==2024.12.14 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| cffi==1.17.1 ; python_version >= "3.10" and python_version <= "3.11" and platform_python_implementation != "PyPy" or python_version >= "3.12" and python_version < "4.0" and platform_python_implementation != "PyPy" | |
| charset-normalizer==3.4.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| click==8.1.8 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| colorama==0.4.6 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Windows" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Windows" | |
| cryptography==44.0.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| dill==0.3.9 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| distro==1.9.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| exceptiongroup==1.2.2 ; python_version >= "3.10" and python_version < "3.11" | |
| faiss-cpu==1.9.0.post1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| filelock==3.17.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| fsspec==2024.12.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| gitdb==4.0.12 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| gitpython==3.1.44 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| greenlet==3.1.1 ; python_version >= "3.10" and python_version <= "3.11" and (platform_machine == "aarch64" or platform_machine == "ppc64le" or platform_machine == "x86_64" or platform_machine == "amd64" or platform_machine == "AMD64" or platform_machine == "win32" or platform_machine == "WIN32") or python_version >= "3.12" and python_version < "3.14" and (platform_machine == "aarch64" or platform_machine == "ppc64le" or platform_machine == "x86_64" or platform_machine == "amd64" or platform_machine == "AMD64" or platform_machine == "win32" or platform_machine == "WIN32") | |
| h11==0.14.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| httpcore==1.0.7 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| httpx==0.28.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| huggingface-hub==0.28.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| idna==3.10 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| importlib-metadata==4.13.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| jinja2==3.1.5 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| jiter==0.8.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| joblib==1.4.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| jsonschema-specifications==2024.10.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| jsonschema==4.23.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| kani-utils @ git+https://github.com/oneilsh/kani-utils.git@3c15b5b96b490719c7d59f9620c0c39b40da67b2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| kani==1.2.4 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| markdown-it-py==3.0.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| markupsafe==3.0.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| mdurl==0.1.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| mpmath==1.3.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| multidict==6.1.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| narwhals==1.24.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| nest-asyncio==1.6.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| networkx==3.4.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| numpy==2.2.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| nvidia-cublas-cu12==12.4.5.8 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Linux" and platform_machine == "x86_64" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Linux" and platform_machine == "x86_64" | |
| nvidia-cuda-cupti-cu12==12.4.127 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Linux" and platform_machine == "x86_64" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Linux" and platform_machine == "x86_64" | |
| nvidia-cuda-nvrtc-cu12==12.4.127 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Linux" and platform_machine == "x86_64" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Linux" and platform_machine == "x86_64" | |
| nvidia-cuda-runtime-cu12==12.4.127 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Linux" and platform_machine == "x86_64" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Linux" and platform_machine == "x86_64" | |
| nvidia-cudnn-cu12==9.1.0.70 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Linux" and platform_machine == "x86_64" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Linux" and platform_machine == "x86_64" | |
| nvidia-cufft-cu12==11.2.1.3 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Linux" and platform_machine == "x86_64" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Linux" and platform_machine == "x86_64" | |
| nvidia-curand-cu12==10.3.5.147 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Linux" and platform_machine == "x86_64" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Linux" and platform_machine == "x86_64" | |
| nvidia-cusolver-cu12==11.6.1.9 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Linux" and platform_machine == "x86_64" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Linux" and platform_machine == "x86_64" | |
| nvidia-cusparse-cu12==12.3.1.170 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Linux" and platform_machine == "x86_64" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Linux" and platform_machine == "x86_64" | |
| nvidia-cusparselt-cu12==0.6.2 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Linux" and platform_machine == "x86_64" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Linux" and platform_machine == "x86_64" | |
| nvidia-nccl-cu12==2.21.5 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Linux" and platform_machine == "x86_64" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Linux" and platform_machine == "x86_64" | |
| nvidia-nvjitlink-cu12==12.4.127 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Linux" and platform_machine == "x86_64" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Linux" and platform_machine == "x86_64" | |
| nvidia-nvtx-cu12==12.4.127 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Linux" and platform_machine == "x86_64" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Linux" and platform_machine == "x86_64" | |
| openai==1.60.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| packaging==24.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| pandas==2.2.3 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| pandasql==0.7.3 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| pdfminer-six==20221105 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| pdfplumber==0.10.4 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| peft==0.14.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| pillow==11.1.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| protobuf==5.29.3 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| psutil==6.1.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| pyarrow==19.0.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| pycparser==2.22 ; python_version >= "3.10" and python_version <= "3.11" and platform_python_implementation != "PyPy" or python_version >= "3.12" and python_version < "4.0" and platform_python_implementation != "PyPy" | |
| pydantic-core==2.23.4 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| pydantic==2.9.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| pydeck==0.9.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| pygments==2.19.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| pypdfium2==4.30.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| python-dateutil==2.9.0.post0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| python-dotenv==1.0.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| pytz==2024.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| pyyaml==6.0.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| redis==5.2.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| referencing==0.36.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| regex==2024.11.6 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| requests==2.32.3 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| rich==13.9.4 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| rpds-py==0.22.3 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| safetensors==0.5.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| scikit-learn==1.6.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| scipy==1.15.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| sentence-transformers==3.4.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| setuptools==75.8.0 ; python_version >= "3.12" and python_version < "4.0" | |
| six==1.17.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| smmap==5.0.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| sniffio==1.3.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| sqlalchemy==2.0.37 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| streamlit==1.41.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| sympy==1.13.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| tabulate==0.9.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| tenacity==9.0.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| threadpoolctl==3.5.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| tiktoken==0.8.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| tokenizers==0.21.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| toml==0.10.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| torch==2.6.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| tornado==6.4.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| tqdm==4.67.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| transformers==4.48.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| triton==3.2.0 ; python_version >= "3.10" and python_version <= "3.11" and platform_system == "Linux" and platform_machine == "x86_64" or python_version >= "3.12" and python_version < "4.0" and platform_system == "Linux" and platform_machine == "x86_64" | |
| typing-extensions==4.12.2 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| tzdata==2025.1 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| upstash-redis==1.4.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| urllib3==2.3.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |
| watchdog==6.0.0 ; python_version >= "3.10" and python_version <= "3.11" and platform_system != "Darwin" or python_version >= "3.12" and python_version < "4.0" and platform_system != "Darwin" | |
| zipp==3.21.0 ; python_version >= "3.10" and python_version <= "3.11" or python_version >= "3.12" and python_version < "4.0" | |