#torch
#numpy
matplotlib
python-sat
onnx

#clone abcrown first

-e ./alpha-beta-CROWN/auto_LiRPA

-r ./alpha-beta-CROWN/complete_verifier/requirements.txt
