CryptoMiniSat 2.9.0下载地址

一个简单的SAT求解器。

CryptoMiniSat是一个小的，易于使用的，命令提示符的应用程序专门设计，为用户提供一个SAT求解器。

这个工具的目的是成为一个杰出的SAT求解器的所有功能和速度，成功的SAT求解器。