Colab - Dreal Does not work #322
Description
Hello, by using the same codes on your colab notebook: https://colab.research.google.com/github/dreal/dreal4/blob/master/notebooks/dreal4-python3.ipynb#scrollTo=Mdoob3dYTvaa
it arises the problem:
dreal_4.21.06.2_amd 100%[===================>] 1.24M --.-KB/s in 0.03s
2025-08-28 02:10:44 (40.2 MB/s) - ‘dreal_4.21.06.2_amd64.deb’ saved [1303720/1303720]
+ echo 'c1798357bd967bf84b06fdaf7e962e102ff6703b3dee546fdc02862a1ecc09f1 dreal_4.21.06.2_amd64.deb'
+ sha256sum -c
dreal_4.21.06.2_amd64.deb: OK
+ dpkg --install --skip-same-version ./dreal_4.21.06.2_amd64.deb
dpkg: version 4.21.06.2 of dreal already installed, skipping
+ rm dreal_4.21.06.2_amd64.deb
Collecting dreal
Using cached dreal-4.20.4.1.tar.gz (266 kB)
Preparing metadata (setup.py) ... done
Building wheels for collected packages: dreal
error: subprocess-exited-with-error
× python setup.py bdist_wheel did not run successfully.
│ exit code: 1
╰─> See above for output.
note: This error originates from a subprocess, and is likely not a problem with pip.
Building wheel for dreal (setup.py) ... error
ERROR: Failed building wheel for dreal
Running setup.py clean for dreal
Failed to build dreal
ERROR: ERROR: Failed to build installable wheels for some pyproject.toml based projects (dreal)
How can I solve it? Thank you!