# web interface for solving smt/sat problems and logic puzzles with a framework

<https://github.com/cpitclaudel/z3.wasm>
<https://www.npmjs.com/package/z3-solver>
<https://github.com/Z3Prover/z3/blob/master/src/api/js/example-raw.ts#L21>

like grafana kind of interactive in browser editor for a single smtlib
expression to export, etc with nice semantics

actually runnable in browser with cross compilable z3 even higher level
interface thst provides a pleasant ui for solving logic problems

^ ^