Adding python api for serilizing + performance improvement + making logs more readable

[satune.git] / src / Backend / constraint.cc

diff --git a/src/Backend/constraint.cc b/src/Backend/constraint.cc
index 0988c314448ae43d280aac6200a7b5597d2973f5..535d058c39882ef2b53f0519746fe9596e48a01a 100644 (file)
--- a/src/Backend/constraint.cc
+++ b/src/Backend/constraint.cc
@@ -686,7 +686,7 @@ int solveCNF(CNF *cnf) {
        cnf->encodeTime = startSolve - startTime;
        model_print("CNF Encode time: %f\n", cnf->encodeTime / 1000000000.0);
        cnf->solveTime = finishTime - startSolve;
-       model_print("Solve time: %f\n", cnf->solveTime / 1000000000.0);
+       model_print("SAT Solving time: %f\n", cnf->solveTime / 1000000000.0);
        return result;
 }