Added MiniSAT simplifier.