OpenSMT2 depends on the following libraries:

  • zlib
  • gmp
  • gmpxx
  • readline
  • flex


To compile OpenSMT2, first download it via:

$ git clone

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