add an example of 9000 clauses for 3 sat progra
[charm.git] / examples / charm++ / satisfiability / Solver.C
index 74f9dd02005e95e47eada1fe687c02c5072e0dc6..d79246ce7ca659c09a735be00764f8e0aa850c74 100644 (file)
@@ -229,7 +229,6 @@ unit_propagation:while(1){
              next_state->unit_clause_index.push_back(cl_index_);
          }else if (cl_neg.size() == 0)
          {
-                CkPrintf(" conflict found!\n");
                 return;
          }
     }