slight modification about grain size control in satisfiability program
authorYanhua Yanhua <sun51@illinois.edu>
Tue, 9 Mar 2010 03:27:44 +0000 (21:27 -0600)
committerYanhua Yanhua <sun51@illinois.edu>
Tue, 9 Mar 2010 03:27:44 +0000 (21:27 -0600)
commit2918e54b1443a2d1c9d0ab11b64cd53c421ad28f
treefc7f0486df4b0107ccceadfe3099481edceea6f8
parentd6de8b9cac551955a213ffe5a010f2e766358f6b
slight modification about grain size control in satisfiability program
examples/charm++/satisfiability/Makefile
examples/charm++/satisfiability/Solver.C
examples/charm++/satisfiability/main.C