env: python2.7: No such file or directory

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals

https://dreal.github.io

Apache License 2.0

150 stars 31 forks source link

env: python2.7: No such file or directory #308

Open mahiiizkr opened 11 months ago

mahiiizkr commented 11 months ago

I am trying to install dReal on macOS Sonoma 14. I have tried everything. It keeps failing due to the error "env: python2.7: No such file or directory" although I have installed python 2.7 on my system. Would you please guide me on how to solve the issue? It is really appreciated.

soonhokong commented 11 months ago

Hi @mahiiizkr , are you using a M1/M2 mac or an Intel mac? For now, dReal only works on Intel macs.

mahiiizkr commented 11 months ago

Hi @soonhokong, thank you for your response. As you guessed, I am using a M2 mac. Do you know any way to make it work? Because I need to cope with logarithmic functions and dReal is my only option (I don't think Z3 is capable of solving the problem). Do you think installing a Virtual Machine is a good idea? Thank you very much.

soonhokong commented 11 months ago

Can you use an Linux box having an Intel/AMD CPU?