Installation

Python 3.11+ and PyTorch 2.0+ are required. It is highly recommended to have a pre-installed PyTorch that matches your system and our version requirement (see PyTorch Get Started). Then you can install auto_LiRPA via:

git clone https://github.com/Verified-Intelligence/auto_LiRPA
cd auto_LiRPA
pip install .

If you intend to modify this library, use pip install -e . instead.