文件名称:minisat
- 所属分类：
- 数学计算/工程计算
- 资源属性：
- [C/C++] [源码]
- 上传时间：
- 2013-09-17
- 文件大小：
- 359kb
- 下载次数：
- 0次
- 提 供 者：
- José Bern*********
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
SAT Solver. Accepts CNF file as input and returns SATISFIABLE and the respective answer, or UNSATISFIABLE
(系统自动生成,下载前可以参看下载内容)
下载文件列表
minisat\core\depend.mk
.......\....\Dimacs.h
.......\....\Main.cc
.......\....\Main.cc~
.......\....\Main.o
.......\....\Makefile
.......\....\minisat
.......\....\Solver.cc
.......\....\Solver.cc~
.......\....\Solver.h
.......\....\Solver.h~
.......\....\Solver.o
.......\....\SolverTypes.h
.......\doc\ReleaseNotes-2.2.0.txt
.......\LICENSE
.......\mtl\Alg.h
.......\...\Alloc.h
.......\...\config.mk
.......\...\Heap.h
.......\...\IntTypes.h
.......\...\Map.h
.......\...\Queue.h
.......\...\Sort.h
.......\...\template.mk
.......\...\template.mk~
.......\...\Vec.h
.......\...\XAlloc.h
.......\README
.......\simp\Main.cc
.......\....\Makefile
.......\....\SimpSolver.cc
.......\....\SimpSolver.h
.......\utils\Makefile
.......\.....\Options.cc
.......\.....\Options.h
.......\.....\Options.o
.......\.....\ParseUtils.h
.......\.....\System.cc
.......\.....\System.h
.......\.....\System.o
.......\core
.......\doc
.......\mtl
.......\simp
.......\utils
minisat