[[start|{{home.png}}]][[start|Main]] [[install|{{tool.png}}]][[install|Download]]  [[demonstration|{{imac.png}}]][[demonstration|Video Demos]]

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======
[[https://iscasmc.ios.ac.cn/ToolDownload/?Tool=PRODEEP|Download]]
======PRODeep dependency======
=====dependency for ubuntu=====
	1) sudo apt-get install g++ qt5-default make
	2) sudo apt-get install libboost-all-dev
	3) sudo apt-get install -yqq libgmp-dev libmpfr-dev
	4) git clone https://github.com/antoinemine/apron 
	   	cd apron
	   	./configure -no-ppl -no-java
       	sudo make 
       	sudo make install
	5) sudo ldconfig

=====Install DeepG and ERAN (Optional)=====
If you want to add support for DeepG and ERAN, please visit [[https://github.com/ISCAS-PMC/deepg|DeepG]] to install modified verision 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//.

<code c++>
#define PYTHON_EXECUTABLE "/home/USERNAME/miniconda3/bin/python"
#define DEEPG_ROOT "/home/USERNAME/Library/deepg"
</code>

=====Install PLANET (Optional)=====
If you want to add support for PLANET verifier, please visit [[https://github.com/progirep/planet|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//.

<code c++>
#define PLANET_DIR "/home/USERNAME/Library/planet/casestudies/MNIST"
</code>


=====Install Reluplex (Optional)=====
If you want to add support for Reluplex, please visit [[https://github.com/ISCAS-PMC/ReluplexCav2017|Reluplex]] to install modified verision of Reluplex.
If the Reluplex is located in **/home/USERNAME/Library/reluplex/ReluplexCav2017**, please modify the follow line in //mainui.h//.

<code c++>
#define Reluplex_ROOT "/home/USERNAME/Library/reluplex/ReluplexCav2017"
</code>

======Compile PRODeep======
	1) cd \path\to\PRODeep
	2) qmake
	3) make