z3-pyodide

Z3 Theorem Prover running in Python, in the browser

Loading Pyodide...

Loading Z3 WASM (~17 MB)...

Installing z3_pyodide...

Running examples...

Output

Initializing...