fix a bug that occur in sequential part in satisfiability problem
authorYanhua YanhuaSunLaptop <yanhuasun@yanhua-suns-macbook-pro.local>
Wed, 24 Mar 2010 05:00:48 +0000 (00:00 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@yanhua-suns-macbook-pro.local>
Wed, 24 Mar 2010 05:00:48 +0000 (00:00 -0500)
commit5cddf5ce286ca6a1fc1af01e3bf832a5e5698130
treef97fc192259c27ffecc3b7935a0921e46a5f9c61
parent474aee966a7f36cda1ccf8eeff4845e47be8f82e
fix a bug that occur in sequential part in satisfiability problem
examples/charm++/satisfiability/Solver.C
examples/charm++/satisfiability/main.C
examples/charm++/satisfiability/verify/Makefile
examples/charm++/satisfiability/verify/verify.C