文件名称:minisat2-070721
- 所属分类：
- 人工智能/神经网络/遗传算法
- 资源属性：
- [C/C++] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 48kb
- 下载次数：
- 0次
- 提 供 者：
- jea****
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
最新SAT 可满足性问题的求解的C源码，在最近的几次国际比赛中都取得了很好的结果-Compact design SAT solver for conjuctive normal form structure SAT problem. very efficient
相关搜索： minisat2-0707
(系统自动生成,下载前可以参看下载内容)
下载文件列表
minisat
.......\mtl
.......\...\Alg.h
.......\...\BasicHeap.h
.......\...\BoxedVec.h
.......\...\Heap.h
.......\...\Map.h
.......\...\Queue.h
.......\...\Sort.h
.......\...\Vec.h
.......\...\template.mk
.......\core
.......\....\Main.C
.......\....\Solver.C
.......\....\Solver.h
.......\....\SolverTypes.h
.......\....\Makefile
.......\simp
.......\....\Main.C
.......\....\SimpSolver.C
.......\....\SimpSolver.h
.......\....\Makefile
.......\LICENSE
.......\README
.......\mtl
.......\...\Alg.h
.......\...\BasicHeap.h
.......\...\BoxedVec.h
.......\...\Heap.h
.......\...\Map.h
.......\...\Queue.h
.......\...\Sort.h
.......\...\Vec.h
.......\...\template.mk
.......\core
.......\....\Main.C
.......\....\Solver.C
.......\....\Solver.h
.......\....\SolverTypes.h
.......\....\Makefile
.......\simp
.......\....\Main.C
.......\....\SimpSolver.C
.......\....\SimpSolver.h
.......\....\Makefile
.......\LICENSE
.......\README