📕 subnode [[@jakeisnt/2022 04 01]] in 📚 node [[2022-04-01]]

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

^ ^

📖 stoas
⥱ context