Merging with branch scratch and cleaning the code

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index 5cdca73eb0ce7c91ce3a3feb4ca405290d3fcfbd..b7c9aa4fcb9f9ac6d4bab090dc1b41b2a9e0c2bd 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -615,9 +615,9 @@ int CSolver::solve() {
        ElementOpt eop(this);
        eop.doTransform();
 
-       EncodingGraph eg(this);
-       eg.buildGraph();
-       eg.encode();
+//     EncodingGraph eg(this);
+//     eg.buildGraph();
+//     eg.encode();
 
        naiveEncodingDecision(this);
 //     eg.validate();