modify data structure in satisfiability example
authorYanhua YanhuaSunLaptop <yanhuasun@vpn3-14460.near.uiuc.edu>
Tue, 23 Mar 2010 15:43:11 +0000 (10:43 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@vpn3-14460.near.uiuc.edu>
Tue, 23 Mar 2010 15:43:11 +0000 (10:43 -0500)
commit53982d6498184d929991713d4520d007dbf1ec68
tree6842e4fcd666e8c4e11355dda90b45e4b46095b3
parentfead24956823984a2e922293f707f0becf62a729
modify data structure in satisfiability example
examples/charm++/satisfiability/Makefile
examples/charm++/satisfiability/Solver.C
examples/charm++/satisfiability/Solver.h
examples/charm++/satisfiability/SolverTypes.h
examples/charm++/satisfiability/example_simple.cnf
examples/charm++/satisfiability/main.C