JQM - Java Quine McCluskey for minimization of Boolean functions.
A novel Code transformation technique to guide test input generator
simplifies boolean functions with Quine-McCluskey algorithm
Boolean Function Optimizer using Quine–McCluskey algorithm
Program for minimizing boolean functions not using Karnaugh K-maps