回答问题2024-3-31【cadical的编译与求解格式】

cadical的编译与求解格式调用

你好！我用的cadical求解器不需要安装。直接在编译环境下调试运行。 1. 在原作者主页(https://fmv.jku.at/software/index.html)下载开源程序：cadical-sc2020-45029f8.tar.xz   2 解压放置pc电脑一个目录下， 如D盘根目录. D:\cadical-sc2020-45029f8. 打开后阅读readme.md文档   3. 打开编译环境。我用的编译环境：Cygwin64 Terminal 4. 编译： ./configure&&make 需要几分钟编译时间。编译完成后可以在build文件夹内查到cadical.exe程序     5. 程序调用：把求解器cadical.exe程序和被求解CNF文件dist8.c.cnf放在自己的求解目录下。如新建的myCadicalTest文件夹下。   6.使用readme.md文件指定的调用格式求解样例：./cadical.exe dist8.c.cnf 7.求解过程中屏幕会滚动，最后得到求解结果。