Compilation

OpenSMT2 depends on the following libraries:

  • zlib
  • gmp
  • gmpxx
  • readline
  • flex

 

To compile OpenSMT2, first download it via:

$ git clone https://scm.ti-edu.ch/repogit/opensmt2.git

Enter the opsntm2 folder and run the configure script:

$ cd opensmt2
$ ./configure

If you want to enable interpolation in OpenSMT2, configure with the following parameter:

$ ./configure --enable-proof

 

Then run make and install.

$ make
$ sudo make install