satisfiability can be run as sequential in order to get speed up
authorYanhua YanhuaSunLaptop <yanhuasun@vpn3-14483.near.uiuc.edu>
Fri, 2 Apr 2010 17:53:15 +0000 (12:53 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@vpn3-14483.near.uiuc.edu>
Fri, 2 Apr 2010 17:53:15 +0000 (12:53 -0500)
commit541278555b83e7d27e429ac2da53ec4dffb222d9
treec1456ea80ac8ea437edb2d46b30ee09a5b71eb23
parent676bccb0ae8952340f5c0e9b7630bd5de3a365d2
satisfiability can be run as sequential in order to get speed up
examples/charm++/satisfiability/Makefile
examples/charm++/satisfiability/main.C
examples/charm++/satisfiability/par_Solver.C
examples/charm++/satisfiability/par_Solver.h