From: bdemsky <bdemsky@uci.edu>
Date: Tue, 2 Oct 2018 18:03:31 +0000 (-0700)
Subject: Turn off print statements
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e383c1be5e2f4a5346517291f05d79277817995f;p=satune.git

Turn off print statements
---

diff --git a/src/Backend/constraint.cc b/src/Backend/constraint.cc
index 6425c58..919d7f4 100644
--- 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 4c49b16..659c0d9 100644
--- 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;