void EncodingGraph::encode() {
- if (solver->getTuner()->getTunable(ENCODINGGRAPHOPT, &onoff) == 0)
+ if (solver->isUnSAT() || solver->getTuner()->getTunable(ENCODINGGRAPHOPT, &offon) == 0)
return;
buildGraph();
SetIteratorEncodingSubGraph *itesg = subgraphs.iterator();