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)
examples/charm++/satisfiability/main.C

index 68d459b023009f5a3e3f5e0f997f8a29f42093d5..3b3ac91ea3ece0954d4243df840280b7360c4367 100644 (file)
@@ -275,6 +275,7 @@ Main::Main(CkArgMsg* msg)
 
     parse_confFile(in, *solver_msg);
 
+    solver_msg->printSolution();
     /*  unit propagation */ 
     simplify(*solver_msg);
 #ifdef DEBUG