dreal/dreal4

Colab - Dreal Does not work

Closed this issue · 9 comments

Hello, by using the same command on your colab notebook, it reveals to me this problem:

 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
Installing collected packages: dreal
  error: subprocess-exited-with-error
  
  × Running setup.py install for dreal 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.
  Running setup.py install for dreal ... error
error: legacy-install-failure

× Encountered error while trying to install package.
╰─> dreal

note: This is an issue with the package mentioned above, not pip.
hint: See above for output from the failure.

How can I solve it?

I have the same problem now, it worked till yesterday, I'm using google colab

Thanks for the report, I'll update the wheel and let you know here.

Thank you, i have tried to solve it by reinstalling wheel, and lower python version but still not working

Hi, I am having the same error on Colab: I've tried several workarounds but could not manage fixing it. Thank you very much for working on it

5e77e commented

Are there any news? I still have the same problem

Is there another way to install this packeage since I urgently need it?

The main issue is that we did not provide a Python wheel for python-3.10 while Colab started using it. I'm building one and it will be uploaded to pypi soon.

Screenshot 2023-05-09 at 12 37 28 PM

Fixed.