one charm parallel two sequential SAT solver
authorYanhua YanhuaSunLaptop <yanhuasun@yanhua-suns-macbook-pro.local>
Mon, 29 Mar 2010 03:00:36 +0000 (22:00 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@yanhua-suns-macbook-pro.local>
Mon, 29 Mar 2010 03:00:36 +0000 (22:00 -0500)
commit5b6e88ae4a27cbb102532542aadee555a384291f
treef5d1f0ed14f6c9a3ad1900ce13d12a9d498b3f21
parent49f12a7ce950df3a224c9359883c678b5e85284b
one charm parallel two sequential SAT solver
18 files changed:
examples/charm++/satisfiability/Makefile
examples/charm++/satisfiability/core_sequential/Makefile [deleted file]
examples/charm++/satisfiability/core_sequential/Solver.C [deleted file]
examples/charm++/satisfiability/core_sequential/Solver.h [deleted file]
examples/charm++/satisfiability/core_sequential/SolverTypes.h [deleted file]
examples/charm++/satisfiability/core_sequential/depend.mk [deleted file]
examples/charm++/satisfiability/main.C
examples/charm++/satisfiability/mtl/Alg.h [deleted file]
examples/charm++/satisfiability/mtl/BasicHeap.h [deleted file]
examples/charm++/satisfiability/mtl/BoxedVec.h [deleted file]
examples/charm++/satisfiability/mtl/Map.h [deleted file]
examples/charm++/satisfiability/mtl/Queue.h [deleted file]
examples/charm++/satisfiability/mtl/Sort.h [deleted file]
examples/charm++/satisfiability/mtl/Vec.h [deleted file]
examples/charm++/satisfiability/mtl/minisatHeap.h [deleted file]
examples/charm++/satisfiability/mtl/template.mk [deleted file]
examples/charm++/satisfiability/par_Solver.C
examples/charm++/satisfiability/par_Solver.h