From 5ca16b31231e6033e41e916627b97e6b93cd4647 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Wed, 18 Oct 2017 18:04:50 -0700
Subject: [PATCH] Bug fix

---
 src/csolver.cc | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/src/csolver.cc b/src/csolver.cc
index 0988a57..fe3d9d9 100644
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -381,7 +381,7 @@ BooleanEdge CSolver::applyLogicalOperation(LogicOp op, BooleanEdge *array, uint
 		return BooleanEdge(boolean);
 	} else {
 		delete boolean;
-		return BooleanEdge(boolean);
+		return BooleanEdge(b);
 	}
 }
 
@@ -447,18 +447,18 @@ int CSolver::solve() {
 	long long startTime = getTimeNano();
 	computePolarities(this);
 
-	Preprocess pp(this);
-	pp.doTransform();
+	//Preprocess pp(this);
+	//pp.doTransform();
 
-	DecomposeOrderTransform dot(this);
-	dot.doTransform();
+	//DecomposeOrderTransform dot(this);
+	//	dot.doTransform();
 
-	IntegerEncodingTransform iet(this);
-	iet.doTransform();
+	//IntegerEncodingTransform iet(this);
+	//	iet.doTransform();
 
-	EncodingGraph eg(this);
-	eg.buildGraph();
-	eg.encode();
+	//EncodingGraph eg(this);
+	//eg.buildGraph();
+	//eg.encode();
 
 	naiveEncodingDecision(this);
 	satEncoder->encodeAllSATEncoder(this);
-- 
2.34.1