Turn off print statements

diff --git a/src/Backend/constraint.cc b/src/Backend/constraint.cc
index 6425c58b6ab7ee554dca680369e4fb2ac338c614..919d7f4e7165b3a9b6a1a6a2e18cdd4def1838da 100644 (file)
--- a/src/Backend/constraint.cc
+++ b/src/Backend/constraint.cc
@@ -575,9 +575,6 @@ Edge simplifyCNF(CNF *cnf, Edge input) {
 
 void addClause(CNF *cnf, uint numliterals, int *literals){
        cnf->clausecount++;
-       for(uint i=0; i< numliterals; i++)
-               model_print("%d ", literals[i]);
-       model_print("\n");
        addArrayClauseLiteral(cnf->solver, numliterals, literals);
 }
 

diff --git a/src/Backend/satencoder.cc b/src/Backend/satencoder.cc
index 4c49b16442950ea1aa7142afe87cd32b1a244cc0..659c0d980776e4689c4271873768580e1af4be48 100644 (file)
--- a/src/Backend/satencoder.cc
+++ b/src/Backend/satencoder.cc
@@ -37,13 +37,7 @@ void SATEncoder::encodeAllSATEncoder(CSolver *csolver) {
        SetIteratorBooleanEdge *iterator = csolver->getConstraints();
        while (iterator->hasNext()) {
                BooleanEdge constraint = iterator->next();
-               model_print("**********************************************************\n");
-               constraint.print();
-               model_print("\n");
                Edge c = encodeConstraintSATEncoder(constraint);
-               model_print("&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&\n");
-               printCNF(c);
-               model_print("\n");
                addConstraintCNF(cnf, c);
        }
        delete iterator;