Linux系统下安装SAT求解器:Cryptominisat
参考网址:https://github.com/stp/stp
stp的默认求解器是minisat,而Cryptominisat是stp的另外一个求解器。
Cryptominisat在linux系统下的安装流程如下:
$ git clone https://github.com/msoos/cryptominisat
$ cd cryptominisat
$ mkdir build && cd build
$ cmake ..
$ cmake --build .
$ sudo cmake -
原创
2021-05-19 14:08:38 ·
1373 阅读 ·
2 评论