This tarball contains a pre-build version of z3.wasm. Consult the original README for details.
Use python3 -m http.server to start a web server in the current folder, then visit http://localhost:8000/z3.html to check whether everything works.
This tarball contains a pre-build version of z3.wasm. Consult the original README for details.
Use python3 -m http.server to start a web server in the current folder, then visit http://localhost:8000/z3.html to check whether everything works.