文件名称:picosat
- 所属分类:
- Linux/Unix编程
- 资源属性:
- [C/C++] [源码]
- 上传时间:
- 2012-11-26
- 文件大小:
- 4kb
- 下载次数:
- 0次
- 提 供 者:
- yan****
- 相关连接:
- 无
- 下载说明:
- 别用迅雷下载,失败请重下,重下不扣分!
介绍说明--下载内容均来自于网络,请自行研究使用
采用C++编写的智能概念推理算法程序,带有程序所需的配置文件(SAT2005_example),在Linux或Cygwin下编译执行-Using C++ Prepared the concept of intelligent reasoning algorithm procedures, with procedures required for configuration file (SAT2005_example), in the compiler under Linux or Cygwin implementation
(系统自动生成,下载前可以参看下载内容)
下载文件列表
sat
...\picosat_1.cpp
...\picosat_1.cpp