active
Logic Studio
A browser-local visual editor for boolean & predicate logic, with truth tables and a Z3 SAT/SMT solver.
Started May 1, 2026 logic.solves.ca
web logic education
Logic Studio is a visual editor for boolean and predicate logic that I built to run entirely in the browser. You build expressions in a graph or a notebook and watch truth tables update live as you go.
It goes well past visualization: Quine–McCluskey two-level simplification, a Z3 SAT/SMT solver compiled to WebAssembly, and equivalence diffing to check whether two expressions actually mean the same thing — all client-side, with nothing sent to a server. It graduated out of my solves.ca incubator.