z3em (npm): Z3 via emscripten
Keywords: z3|emscripten|hacktoberfest