port the minisat sequential part into charm parallel satisfiablity problem
authorYanhua YanhuaSunLaptop <yanhuasun@yanhua-suns-macbook-pro.local>
Sun, 28 Mar 2010 19:08:18 +0000 (14:08 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@yanhua-suns-macbook-pro.local>
Sun, 28 Mar 2010 19:08:18 +0000 (14:08 -0500)
commit9147c9a4bbb3778f97cb7461ddf5da68946f066c
tree44174b1120410220f55d40aa72414fa65606bb9e
parent08e17a376f9b98201af7d765fc3661cc3ebedafa
port the minisat sequential part into charm parallel satisfiablity problem
17 files changed:
examples/charm++/satisfiability/Makefile
examples/charm++/satisfiability/Solver.C [deleted file]
examples/charm++/satisfiability/Solver.h [deleted file]
examples/charm++/satisfiability/core_sequential/Makefile [new file with mode: 0644]
examples/charm++/satisfiability/core_sequential/Solver.C [new file with mode: 0644]
examples/charm++/satisfiability/core_sequential/Solver.h [new file with mode: 0644]
examples/charm++/satisfiability/core_sequential/SolverTypes.h [moved from examples/charm++/satisfiability/SolverTypes.h with 71% similarity]
examples/charm++/satisfiability/core_sequential/depend.mk [new file with mode: 0644]
examples/charm++/satisfiability/example/example.cnf [moved from examples/charm++/satisfiability/example.cnf with 100% similarity]
examples/charm++/satisfiability/example/example_100.cnf [moved from examples/charm++/satisfiability/example_50.cnf with 56% similarity]
examples/charm++/satisfiability/example/example_1000.cnf [new file with mode: 0644]
examples/charm++/satisfiability/example/example_4000.cnf [new file with mode: 0644]
examples/charm++/satisfiability/example/example_6000.cnf [new file with mode: 0644]
examples/charm++/satisfiability/example/example_8000.cnf [moved from examples/charm++/satisfiability/example_9000.cnf with 87% similarity]
examples/charm++/satisfiability/example/example_simple.cnf [moved from examples/charm++/satisfiability/example_simple.cnf with 100% similarity]
examples/charm++/satisfiability/main.C
examples/charm++/satisfiability/main.ci