Turn off print statements
authorbdemsky <bdemsky@uci.edu>
Tue, 2 Oct 2018 18:03:31 +0000 (11:03 -0700)
committerbdemsky <bdemsky@uci.edu>
Tue, 2 Oct 2018 18:03:31 +0000 (11:03 -0700)
src/Backend/constraint.cc
src/Backend/satencoder.cc

index 6425c58..919d7f4 100644 (file)
@@ -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);
 }
 
index 4c49b16..659c0d9 100644 (file)
@@ -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;