Commiting my local changes ...

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index b7c9aa4fcb9f9ac6d4bab090dc1b41b2a9e0c2bd..5cdca73eb0ce7c91ce3a3feb4ca405290d3fcfbd 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();