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