PyPI recent updates for z3-pyodide https://pypi.org/project/z3-pyodide/ Recent updates to the Python Package Index for z3-pyodide en 0.1.0 https://pypi.org/project/z3-pyodide/0.1.0/ z3-py compatible API for Pyodide (browser) via SMT-LIB2 text protocol me@alcidesfonseca.com Thu, 19 Mar 2026 10:07:26 GMT