Skip to content

installation.md

Latest commit

 

History

History
32 lines (27 loc) · 1.21 KB

installation.md

File metadata and controls

32 lines (27 loc) · 1.21 KB

Installation

  1. Create conda environment tool for AdaGDVB

    conda env create --name adagdvb -f .env.d/env.yml
. .env.d/openenv.sh

  2. Install verification framework Swarmhost

    git clone https://github.com/edwardxu0/SwarmHost.git $GDVB/lib/SwarmHost
wget https://raw.githubusercontent.com/dlshriver/dnnv/main/tools/resmonitor.py $SwarmHost/lib
conda env create --name swarmhost -f $SwarmHost/.env.d/env.yml

  3. Install verifiers

    # alpha-beta-crown
git clone --recursive https://github.com/Verified-Intelligence/alpha-beta-CROWN.git $SwarmHost/lib/abcrown
conda env create --name abcrown -f $SwarmHost/lib/abcrown/complete_verifier/environment.yaml

# neuralsat
git clone https://github.com/dynaroars/neuralsat.git $SwarmHost/lib/neuralsat
conda env create --name neuralsat -f $SwarmHost/lib/neuralsat/env.yaml

# nnenum
git clone https://github.com/stanleybak/nnenum.git $SwarmHost/lib/nnenum
conda env create --name nnenum -f $SwarmHost/envs/nnenum.yml

# marabou
git clone https://github.com/NeuralNetworkVerification/Marabou.git $SwarmHost/lib/marabou
conda create --name marabou python==3.9
cd $SwarmHost/lib/marabou