boolean-logic
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
boolia is a tiny, safe boolean-expression engine for Python. It parses human-readable rules with dotted identifiers, comparisons, custom functions, and logical operators, then evaluates them against plain dict data.
Parsing Python code into Boolean expressions
Digital logic design toolkit: simplify, minimize and transform Boolean expressions, draw KV-maps, etc.
A powerful tool for minimizing Boolean functions
