search

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals
https://dreal.github.io
Apache License 2.0
151 stars 32 forks source link

Unable to install dreal4 #297

Open ThisIsJairo opened 1 year ago

ThisIsJairo commented 1 year ago

Hi!

I hope you are doing great. I have been trying to install dReal 4 on WSL with Ubuntu 20.04, but I get the following error

There may be a problem with the permission of my WSL. (Sorry, I am a noob in Ubuntu)

By the way, I have one more question. By using "pip3 install dreal", some functionality can be installed. I am running a code in Google Colab that takes hours to check (it is indeed a complicated condition), but I was wondering if this issue may be solved when using a complete installation rather than the pip one.

Regards!

soonhokong commented 1 year ago

Our Github action step for checking Ubuntu-20.04 installation has been running successfully every evening, so I believe it should work. I have not tested it via WSL on a Windows machine though.

There seems to be an issue with wget https://github.com/dreal/dreal4/releases/download/4.21.06.2/dreal_4.21.06.2_amd64.deb, so I suggest trying to re-run that part separately.

Regarding the question about "pip3 vs complete installation", I think they should be the same, but if there are any difficulties, please send me the instance to me, and I'll take a look.

ThisIsJairo commented 1 year ago

Thank you so much for your reply. I will check the issue.

mizzonimirko commented 1 year ago

Hello, i am facing the same problem as well. On windows as soon as i call pip3 install dreal

`(base) C:\Users\mirko>pip3 install dreal Defaulting to user installation because normal site-packages is not writeable Collecting dreal Using cached dreal-4.20.4.1.tar.gz (266 kB) Preparing metadata (setup.py) ... done Building wheels for collected packages: dreal Building wheel for dreal (setup.py) ... error error: subprocess-exited-with-error

× python setup.py bdist_wheel did not run successfully. │ exit code: 1 ╰─> [6 lines of output] Traceback (most recent call last): File "", line 2, in File "", line 34, in File "C:\Users\mirko\AppData\Local\Temp\pip-install-1yty0zqq\dreal_7ea568cfe3744aed94e6f5e2cce87bbd\setup.py", line 144, in import wheel.pep425tags ModuleNotFoundError: No module named 'wheel.pep425tags' [end of output]

note: This error originates from a subprocess, and is likely not a problem with pip. ERROR: Failed building wheel for dreal Running setup.py clean for dreal Failed to build dreal Installing collected packages: dreal Running setup.py install for dreal ... error error: subprocess-exited-with-error

× Running setup.py install for dreal did not run successfully. │ exit code: 1 ╰─> [8 lines of output] C:\ProgramData\anaconda3\lib\site-packages\setuptools\config\setupcfg.py:508: SetuptoolsDeprecationWarning: The license_file parameter is deprecated, use license_files instead. warnings.warn(msg, warning_class) running install C:\ProgramData\anaconda3\lib\site-packages\setuptools\command\install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools. warnings.warn( running build Building dReal error: [WinError 2] The system cannot find the file specified [end of output]

note: This error originates from a subprocess, and is likely not a problem with pip. 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. ` whereas on ubuntu :

`pip3 install dreal Collecting dreal Using cached dreal-4.20.4.1.tar.gz (266 kB) Preparing metadata (setup.py) ... done Building wheels for collected packages: dreal Building wheel for dreal (setup.py) ... error error: subprocess-exited-with-error

× python setup.py bdist_wheel did not run successfully. │ exit code: 1 ╰─> [6 lines of output] Traceback (most recent call last): File "", line 2, in File "", line 34, in File "/tmp/pip-install-tr8iylq0/dreal_3713e4ea9ad94efd9e61993b4e3b764e/setup.py", line 144, in import wheel.pep425tags ModuleNotFoundError: No module named 'wheel.pep425tags' [end of output]

note: This error originates from a subprocess, and is likely not a problem with pip. ERROR: Failed building wheel for dreal Running setup.py clean for dreal Failed to build dreal Installing collected packages: dreal Running setup.py install for dreal ... error error: subprocess-exited-with-error

× Running setup.py install for dreal did not run successfully. │ exit code: 1 ╰─> [8 lines of output] /home/mirkomizzoni/miniconda3/lib/python3.10/site-packages/setuptools/config/setupcfg.py:508: SetuptoolsDeprecationWarning: The license_file parameter is deprecated, use license_files instead. warnings.warn(msg, warning_class) running install /home/mirkomizzoni/miniconda3/lib/python3.10/site-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools. warnings.warn( running build Building dReal error: [Errno 2] No such file or directory: 'bazel' [end of output]

note: This error originates from a subprocess, and is likely not a problem with pip. 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. `

What can i do?

soonhokong commented 1 year ago

Hi, I'll check things today. I do not have a Windows machine but I plan to update the wheel and support more python versions, which might help this case as well.

mizzonimirko commented 1 year ago

Hello, I comment here, since the problem on colab has been fixed.
Still the problem on windows remains the same : image ( by using anaconda and typing pip3 install dreal)

soonhokong commented 1 year ago

@mizzonimirko , can you check if you can run pip3 install dreal without anaconda?

mizzonimirko commented 1 year ago

@soonhokong same story (no anaconda)

image

soonhokong commented 1 year ago

@mizzonimirko , can you download a .whl from https://pypi.org/project/dreal/#files and run pip3 install <whl>? Please use one with the right python version (e.g. cp39 for python-3.9).

mizzonimirko commented 1 year ago

@soonhokong image

soonhokong commented 1 year ago

dReal currently only supports Linux and macOS. To extend this support to Windows, the initial step is to determine whether dReal's dependencies can be built on Windows. Also, if there's an option to utilize Linux libraries via WSL, that would be ideal and beneficial. Unfortunately, I currently lack the necessary equipment to test this.

If someone can check these requirements are feasible, I will find a way to get a Windows machine to create a Python binding for dReal.

yogurt-shadow commented 7 months ago

@ThisIsJairo Did you fix your problem? I get the similar problem on WSL2 (ubuntu 22).

dreal