__pycache__/
*.pyc
.venv/
dist/
*.egg-info/
.pytest_cache/
build/

# Z3 WASM files (downloaded by examples/setup.sh)
examples/z3w.js
examples/z3w.wasm
examples/z3-built.js
examples/z3-built.wasm
