From ccc6ed150f90cc74234b7b8eef2e44eb5363f7bc Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Tue, 24 Jul 2018 13:42:06 -0700
Subject: [PATCH] add element optimization pass

---
 src/csolver.cc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/csolver.cc b/src/csolver.cc
index aca527a..b42dbe0 100644
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -25,6 +25,7 @@
 #include "ordergraph.h"
 #include "orderedge.h"
 #include "orderanalysis.h"
+#include "elementopt.h"
 #include <time.h>
 #include <stdarg.h>
 
@@ -605,6 +606,9 @@ int CSolver::solve() {
 	IntegerEncodingTransform iet(this);
 	iet.doTransform();
 
+	ElementOpt eop(this);
+	eop.doTransform();
+	
 	EncodingGraph eg(this);
 	eg.buildGraph();
 	eg.encode();
-- 
2.34.1