Projects in Awesome Lists tagged with boolean-minimization
A curated list of projects in awesome lists tagged with boolean-minimization .
https://github.com/hellman/quine-mccluskey
DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm
boolean-minimization cnf dnf quine-mccluskey satisfiability
Last synced: 11 Apr 2025
