Colab - Dreal Does not work

[mizzonimirko]

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?

[KirolosRomany25]

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

[soonhokong]

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

[KirolosRomany25]

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

[fedhits]

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]

Are there any news? I still have the same problem

[KirolosRomany25]

Unfortunately no, we are all waiting

On Thu, May 4, 2023, 13:40 Emanuele De Bianchi @.***> wrote:

Are there any news? I still have the same problem

— Reply to this email directly, view it on GitHub https://github.com/dreal/dreal4/issues/299#issuecomment-1534616426, or unsubscribe https://github.com/notifications/unsubscribe-auth/A7FWTVZIJZQZRP5BD3CAL63XEOIRZANCNFSM6AAAAAAXO4M7TA . You are receiving this because you commented.Message ID: @.***>

[KirolosRomany25]

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

[soonhokong]

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.

[soonhokong]

Fixed.