A port of MiniSat to Android