JQM - Java Quine McCluskey for minimization of Boolean functions.
Optimer: a SPICE base electrical/ electronic circuit optimization tool
Boolean Function Optimizer using Quine–McCluskey algorithm
Program for minimizing boolean functions not using Karnaugh K-maps