STP的安装

鼓捣了一整天终于将STP装好了，各种问题、各种故障也是醉了，苦于对LINUX的各种包不理解，所以费了很大的劲儿！

操作系统： Ubuntu 14.04 （先是在虚拟机上试了，到最后装STP时就是make不通过，最后在主机上装上了）

参考页面：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

几点提示：

1. 遇到安装包的版本高，不匹配时，使用sudo aptitude install ×××××命令进行安装，出现选择后，选NO，然后会提示是否降版本安装，再选YES，就可以重新安装低版本的包。

2. 如果git下来的包，cmake时过不去的话，可以从主页上自己去下载zip的包，自己解压缩，然后按步骤安装。

3. 我最后成功的安装过程是，使用git克隆的cryptominsat5，然后安装上。STP是自己下的包，安装通过了。

续：

晚上又在虚拟机下重现安装STP，先是失败，最后也安装成功了，总结一下，就是安装STP时，使用cmake命令不要加那些静态的参数，直接cmake ..就可以通过，一旦你先加静态参数失败后，你再cmake ..也不管用了，只能删除下载文件，重新再安装，终于可以happy地使用STP喽！