https://github.com/virb3/z3-wasm
Run Z3 entirely in your browser using WebAssembly
https://github.com/virb3/z3-wasm
browser sat-solver smt2 static wasm z3
Last synced: over 1 year ago
JSON representation
Run Z3 entirely in your browser using WebAssembly
- Host: GitHub
- URL: https://github.com/virb3/z3-wasm
- Owner: ViRb3
- License: other
- Archived: true
- Created: 2022-04-23T18:19:27.000Z (about 4 years ago)
- Default Branch: master
- Last Pushed: 2022-05-03T17:08:49.000Z (about 4 years ago)
- Last Synced: 2025-01-29T13:09:58.390Z (over 1 year ago)
- Topics: browser, sat-solver, smt2, static, wasm, z3
- Language: JavaScript
- Homepage: https://virb3.github.io/z3-wasm/
- Size: 14 MB
- Stars: 6
- Watchers: 2
- Forks: 4
- Open Issues: 1