HiFrog is implemented in C++ and the current implementation lives at the repository branch 'hifrog'

To experiment with HiFrog code:

1- Install OpenSMT2 as a library to be used in HiFrog by following the instructions from here.

2- Fetch the hifrog repository by switching to the hifrog branch:

$ git clone --single-branch --branch hifrog hifrog

3- Create a build directory and build hifrog using cmake

cd upprover/trunk/cprover;
mkdir build;
cd build; 
cmake ..;


** If you need any assistance feel free to contact us via sepideh.a65[at]