文件名称:zchaff.2004.5.13.tar
- 所属分类：
- Linux/Unix编程
- 资源属性：
- [Linux] [C/C++] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 67kb
- 下载次数：
- 0次
- 提 供 者：
- 张*
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
这是一种很好的SAT解析器。通过它，我们可以判断SAT问题是否有解，并且在有解的情况下能找到解-This is a good SAT resolver. Through it, we can determine whether the SAT problem to solve, and in the case of solvability can find solutions
(系统自动生成,下载前可以参看下载内容)
下载文件列表
47651495zchaff.2004.5.13.tar