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: 3 months ago
JSON representation

Run Z3 entirely in your browser using WebAssembly

• Host: GitHub
• URL: https://github.com/virb3/z3-wasm
• Owner: ViRb3
• License: other
• Created: 2022-04-23T18:19:27.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2022-05-03T17:08:49.000Z (over 2 years ago)
• Last Synced: 2024-03-19T10:10:44.255Z (10 months ago)
• Topics: browser, sat-solver, smt2, static, wasm, z3
• Language: JavaScript
• Homepage: https://virb3.github.io/z3-wasm/
• Size: 14 MB
• Stars: 2
• Watchers: 2
• Forks: 2
• Open Issues: 1

Awesome Lists containing this project