Installation of STP

Tinker all day finally will STP installed, all kinds of problems, all kinds of fault is drunk, suffer from the various packages of Linux do not understand, so a great effort.

Operating system: Ubuntu 14.04 (first on the virtual machine, the last to install the STP is make does not pass, and finally installed on the host)

Reference page: http://www2.compute.dtu.dk/~stek/cryptosmt.html

Https://github.com/stp/stp/blob/master/INSTALL.md

STP:HTTPS://GITHUB.COM/STP/STP Cryptominisat:https://github.com/msoos/cryptominisat Several tips:

1. When the version of the installation package is high, does not match, use the sudo aptitude installxxxxx command to install, after selection, select No, then will be prompted whether to reduce the version of the installation, and then choose Yes, you can reinstall the lower version of the package.

2. If git comes down with a package that cmake, you can download the zip package yourself from the home page, unzip it yourself, and then follow the steps to install it.

3. My final successful installation process was to use Git to clone the CRYPTOMINSAT5 and then install it. STP is its own under the package, the installation passed.

Continued:

At night again under the virtual machine to reproduce the installation of STP, first failed, and finally installed successfully, summed up, is the installation of STP, using the CMake command do not add those static parameters, direct CMake. You can pass, once you first add static parameters fail, you cmake again. Also no use, can only delete the download files, re-install, and finally can be happy to use STP.