Installing PRODeep
Prodeep is free and open source. Below you find instructions about how to download the tool and its source code. Distribution is under GPL-3.0 License.
Download
PRODeep dependencies
dependency for ubuntu
sudo apt-get install g++ qt5-default make
sudo apt-get install libboost-all-dev
sudo apt-get install -yqq libgmp-dev libmpfr-dev
git clone https://github.com/antoinemine/apron
cd apron
./configure -no-ppl -no-java
make
sudo make install
sudo ldconfig
Install DeepG and ERAN (Optional)
If you want to add support for DeepG and ERAN, please visit DeepG to install modified veriion of DeepG and ERAN. If DeepG is installed for example at /home/USERNAME/Library/deepg and the Python environment for DeepG is /home/USERNAME/miniconda3/bin/python, please modify the following lines in mainui.h.
#define PYTHON_EXECUTABLE "/home/USERNAME/miniconda3/bin/python"
#define DEEPG_ROOT "/home/USERNAME/Library/deepg"
Install PLANET (Optional)
If you want to add support for PLANET verifier, please visit PLANET to install it. If the MNIST casestudy of PLANET is located in /home/USERNAME/Library/planet/casestudies/MNIST, please modify the following line in mainui.h.
#define PLANET_DIR "/home/USERNAME/Library/planet/casestudies/MNIST"
Install Reluplex (Optional)
If you want to add support for Reluplex, please visit Reluplex to install modified version of Reluplex. If the Reluplex is located in /home/USERNAME/Library/reluplex/ReluplexCav2017, please modify the follow line in mainui.h.
#define Reluplex_ROOT "/home/USERNAME/Library/reluplex/ReluplexCav2017"
Compile PRODeep
cd /path/to/PRODeep
qmake
make