Commiting my local changes ...

[satune.git] / src / Backend / satencoder.cc

diff --git a/src/Backend/satencoder.cc b/src/Backend/satencoder.cc
index 659c0d980776e4689c4271873768580e1af4be48..4c49b16442950ea1aa7142afe87cd32b1a244cc0 100644 (file)
--- 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;