文件名称:SAT求解器minisat
文件大小:43KB
文件格式:GZ
更新时间:2014-09-13 15:09:45
SAT求解器
一个比较著名的SAT求解器,具体参见 http://minisat.se/
【文件预览】:
minisat-2.2.0
----utils()
--------System.cc(3KB)
--------Options.h(12KB)
--------Options.cc(4KB)
--------ParseUtils.h(4KB)
--------System.h(2KB)
--------Makefile(74B)
----LICENSE(1KB)
----README(833B)
----mtl()
--------IntTypes.h(2KB)
--------Alg.h(3KB)
--------Alloc.h(4KB)
--------Queue.h(3KB)
--------template.mk(3KB)
--------Sort.h(3KB)
--------Heap.h(5KB)
--------XAlloc.h(2KB)
--------Vec.h(5KB)
--------config.mk(204B)
--------Map.h(7KB)
----doc()
--------ReleaseNotes-2.2.0.txt(3KB)
----core()
--------Main.cc(8KB)
--------Dimacs.h(3KB)
--------Solver.h(21KB)
--------Solver.cc(30KB)
--------Makefile(76B)
--------SolverTypes.h(15KB)
----simp()
--------Main.cc(9KB)
--------SimpSolver.cc(21KB)
--------SimpSolver.h(10KB)
--------Makefile(81B)