The current implementation of UpProver lives at https://github.com/usi-verification-and-security/upprover and the branch 'upprover' hosting the stable version of UpProver.

To experiment with the UpProver code:

1- Install OpenSMT2 (branch master the tag `sri-summer-school`) from https://github.com/usi-verification-and-security/opensmt.git

For the compilation follow the instructions here.

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

$ git clone --single-branch --branch upprover https://github.com/usi-verification-and-security/upprover.git upprover

3- Create a build directory and build upprover using cmake

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

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