1)Making naiveencoder and encoding graph use tuner 2)Adding timeout to the sat solver...

1)Making naiveencoder and encoding graph use tuner 2)Adding timeout to the sat solver 3)Adding similarity based heuristic for merging the subgraph on top of bit number heuristic