boolean-logic
Tiny, safe boolean-expression language with dotted paths, functions, and rule books.
Parsing Python code into Boolean expressions
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
Digital logic design toolkit: simplify, minimize and transform Boolean expressions, draw KV-maps, etc.
A powerful tool for minimizing Boolean functions
