Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion requirements-dev.txt
Copy link
Contributor Author

@Chenghao-Tan Chenghao-Tan Nov 10, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This commit drops torch's GPU support since pip install -r requirements-dev.txt in pre-commit won't read -f https://download.pytorch.org/whl/torch_stable.html and therefore cannot find torch==1.7.0+cu110.

This is a backwards change. Please consider modifying .github/workflows/pre-commit.yaml later, to add -f xxx after pip install xxx, or to simply install torch+cu version manually.

Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ sphinx==4.0.2
sphinx_autodoc_typehints==1.12.0
sphinx-rtd-theme==0.5.2
tensorflow==1.14.0
torch==1.7.0+cu110 -f https://download.pytorch.org/whl/torch_stable.html
torch==1.7.0 -f https://download.pytorch.org/whl/torch_stable.html
torchvision==0.8.1
PySMT==0.9.5
xgboost==1.4.2
Expand Down