JQM - Java Quine McCluskey for minimization of Boolean functions.
simplifies boolean functions with Quine-McCluskey algorithm
Boolean Function Optimizer using Quine–McCluskey algorithm
Program for minimizing boolean functions not using Karnaugh K-maps