Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Unable to install dreal4 #297

Open
ThisIsJairo opened this issue Mar 28, 2023 · 11 comments
Open

Unable to install dreal4 #297

ThisIsJairo opened this issue Mar 28, 2023 · 11 comments

Comments

@ThisIsJairo
Copy link

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
Copy link
Member

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
Copy link
Author

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

@mizzonimirko
Copy link

mizzonimirko commented Apr 21, 2023 •
edited
Loading

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
Copy link
Member

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
Copy link

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
Copy link
Member

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

@mizzonimirko
Copy link

mizzonimirko commented May 9, 2023 •
edited
Loading

@soonhokong same story (no anaconda)

image

@soonhokong
Copy link
Member

@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
Copy link

@soonhokong
image

@soonhokong
Copy link
Member

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
Copy link

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@soonhokong @yogurt-shadow @ThisIsJairo @mizzonimirko