minor change to print out the solutions in satisfiability program
[charm.git] / 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