minor change to print out the solutions in satisfiability program
authorYanhua YanhuaSunLaptop <yanhuasun@yanhua-suns-macbook-pro.local>
Sun, 4 Apr 2010 06:03:43 +0000 (01:03 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@yanhua-suns-macbook-pro.local>
Sun, 4 Apr 2010 06:03:43 +0000 (01:03 -0500)
commit8cc706925c253c01c3c3e6ee16af4a915e1d40ec
treef58ebfbfd5da204090a9ea5b3b9fb8f27974bedc
parentdd31f281e722985aeacd6024831633d3ab3f5a5b
minor change to print out the solutions in satisfiability program
examples/charm++/satisfiability/main.C