add minisat and TNM sequential solvers in sat problem
authorYanhua YanhuaSunLaptop <yanhuasun@yanhua-suns-macbook-pro.local>
Mon, 29 Mar 2010 03:05:44 +0000 (22:05 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@yanhua-suns-macbook-pro.local>
Mon, 29 Mar 2010 03:05:44 +0000 (22:05 -0500)
commit06d4c5622c22430f8fc566f11ca6a36c643e59de
treea8a4c3e286f0bc3f7cfb114ca0c89040bbaf599d
parent5b6e88ae4a27cbb102532542aadee555a384291f
add minisat and TNM sequential solvers in sat problem
16 files changed:
examples/charm++/satisfiability/TNM/TNM.C [new file with mode: 0644]
examples/charm++/satisfiability/TNM/TNM.h [new file with mode: 0644]
examples/charm++/satisfiability/TNM/TNM.pdf [new file with mode: 0644]
examples/charm++/satisfiability/TNM/adaptnoisebis1at5.C [new file with mode: 0644]
examples/charm++/satisfiability/TNM/inputbis.C [new file with mode: 0644]
examples/charm++/satisfiability/minisat/Solver.C [new file with mode: 0644]
examples/charm++/satisfiability/minisat/Solver.h [new file with mode: 0644]
examples/charm++/satisfiability/minisat/SolverTypes.h [new file with mode: 0644]
examples/charm++/satisfiability/minisat/mtl/Alg.h [new file with mode: 0644]
examples/charm++/satisfiability/minisat/mtl/BasicHeap.h [new file with mode: 0644]
examples/charm++/satisfiability/minisat/mtl/BoxedVec.h [new file with mode: 0644]
examples/charm++/satisfiability/minisat/mtl/Map.h [new file with mode: 0644]
examples/charm++/satisfiability/minisat/mtl/Queue.h [new file with mode: 0644]
examples/charm++/satisfiability/minisat/mtl/Sort.h [new file with mode: 0644]
examples/charm++/satisfiability/minisat/mtl/Vec.h [new file with mode: 0644]
examples/charm++/satisfiability/minisat/mtl/minisatHeap.h [new file with mode: 0644]