GitHub repository: leohentschker/z3-pyodide
Primary language: JavaScript
Created: 2025-05-20T17:46:22Z
Description: Run z3-solver Python API run inside Pyodide by shimming the z3 wasm build