MiniSat 2.0 for Empscripten