Code and data accompanying DASC 2024 paper.
Organization: Each individual approach is documented and has relevant code contained in each folder. Additionally, a README is provided within each folder for code use and documentation.
Overall Libraries and Precursors: This code in this repository requires Python 3. Additionally, to run code, Marabou and Gurobi should be installed as outlined in https://github.com/NeuralNetworkVerification/Marabou. Any other relevant libaries are in the requirements.txt file, and can be installed using the command:
pip install -r requirements.txt