文件名称：cryptominisat:先进的SAT求解器
文件大小：1.2MB
文件格式：ZIP
更新时间：2024-06-01 19:19:12
cryptography proof verification cnf sat-solver
CryptoMiniSat SAT求解器 该系统提供了高级增量SAT求解器CryptoMiniSat。 该系统具有3个界面：命令行，C ++库和python。 命令行界面以作为格式的输入，带有XOR子句的扩展名。 C ++和python接口模仿了这一点，还允许增量使用：假设和多个solve调用。 还提供了AC兼容包装纸。 引用时，请始终参考我们的，bibtex记录在。 执照 请阅读LICENSE.txt进行讨论。 构建所需的一切均已获得MIT许可。 M4RI库（不包括）是GPL，因此，如果您安装了M4RI，则必须使用-DNOM4RI=ON或-DMIT=ON进行构建，以防您需要纯MIT构建。 Docker使用 要在文件myfile.cnf上运行： cat myfile.cnf | docker run --rm -i msoos/cryptominisat 通过挂载在文件/home/m