From e383c1be5e2f4a5346517291f05d79277817995f Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Tue, 2 Oct 2018 11:03:31 -0700
Subject: [PATCH] Turn off print statements

---
 src/Backend/constraint.cc | 3 ---
 src/Backend/satencoder.cc | 6 ------
 2 files changed, 9 deletions(-)

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;
-- 
2.34.1