X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FBackend%2Fsatencoder.cc;h=4c49b16442950ea1aa7142afe87cd32b1a244cc0;hp=659c0d980776e4689c4271873768580e1af4be48;hb=cb27924ba5a3ef99d44a1e0cbdd43906b2a28d61;hpb=7c07450f8c8a3878de97508054a1399aa6d761f1

diff --git a/src/Backend/satencoder.cc b/src/Backend/satencoder.cc
index 659c0d9..4c49b16 100644
--- a/src/Backend/satencoder.cc
+++ b/src/Backend/satencoder.cc
@@ -37,7 +37,13 @@ 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;