(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-rise4fun at ../z3-rise4fun (and build it)
• Create a web branch checkout at dist/
• npm install .
• Execute ./dist.sh and push dist/ to the web branch