a Pythonic toolkit for working with Boolean expressions
System.Linq.Expression expressions optimizer. http://thorium.github.io/L...
Header-only C++17 library for evaluating logical expressions.
Implementation of Quine McCluskey algorithm in Python 3
An easy-to-use simulator for logical circuits
Brenda is a boolean expression solver for Go AST