ayanamonr/z3-wasm

Run Z3 entirely in your browser using WebAssembly

C++NOASSERTION

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.