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