Add MiniSat solver