window操作系统中使用caidical求解SAT样例
| 1.点击电脑右下角 开始——附件——命令提示符，进入运行窗口。 | |
|
|
|
2. 在命令行窗口包含caidical.exe程序的路径下，采用命令：caidical cnf文件 即可以运行得到结果。 |
|
|
|
|
|
| 以上示例caidical.exe程序及q889.cnf文件均在c:\根目录下。 | |
| 3.可以在我的博客文件中下载。https://i.cnblogs.com/files | |
| 4.以上只能运行查看结果。在Linux环境下编译源代码（依据自己需求对源程序改动后）可以将中间过程及结果数据信息存储到外部文件，供进一步研究及查看。本短文不涉及。 |
