search

eth-sri / eran

ETH Robustness Analyzer for Deep Neural Networks
Apache License 2.0
320 stars 103 forks source link

Problem with installation #119

Open supratik1 opened 1 year ago

supratik1 commented 1 year ago

Hello, I'm trying to use ERAN as one of the tools for students to experiment with in a course on Formal Methods in Machine Learning that I am teaching at IIT Bombay.

In trying to follow the installation instructions, we seem to be facing a problem related to Python version when the script tries to install Gurobi on Ubuntu 22.04. I am reproducing the error message below.

$ tools/ERAN/gurobi912/linux64/setup.py:13: DeprecationWarning: The distutils package is deprecated and slated for removal in Python 3.12. Use setuptools or check PEP 632 for potential alternatives from distutils.core import setup, Command #, Extension Traceback (most recent call last): File "tools/ERAN/gurobi912/linux64/setup.py", line 48, in raise RuntimeError("Unsupported Python version") RuntimeError: Unsupported Python version

The Python version we are using is 3.10.12

Is there an updated set of instructions/scripts that students can use to install ERAN with the latest version of Python? Any help will be much appreciated.

fzuerkeraguilar commented 8 months ago

I think that according to this page on Gurobis website, Python 3.10 is not supported. Python 3.9 should work. The python version should be manually set in the setup-script, as the root user may have another python version as the local shell.