(Work in progress)
Try it at https://jfmc.github.io/z3-play/
A simple Z3 playground based on the Monaco Editor.
Acknowledgments: rise4fun Z3 reconstruction, z3-wasm.
- Clone
z3-rise4funat../z3-rise4fun(and build it) - Create a
webbranch checkout atdist/ npm install .- Execute
./dist.shand pushdist/to thewebbranch