z3-wasm A simple Z3 SMT2 analyzer, ran entirely in your browser using WebAssembly. Website https://virb3.github.io/z3-wasm/ Building npm i npm run build The built website will be in dist/. Credits Front end heavily influenced from cpitclaudel/z3.wasm.