文件名称:picosat
- 所属分类：
- Linux/Unix编程
- 资源属性：
- [C/C++] [源码]
- 上传时间：
- 2008-10-13
- 文件大小：
- 4.7kb
- 下载次数：
- 0次
- 提 供 者：
- yan****
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
采用C++编写的智能概念推理算法程序，带有程序所需的配置文件(SAT2005_example),在Linux或Cygwin下编译执行
(系统自动生成,下载前可以参看下载内容)
下载文件列表
压缩包 : 3971007picosat.rar 列表 sat\picosat_1.cpp sat\SAT2005_example.cnf sat