The Quine-McCluskey Solver is a tool for finding the minimal representation of any Boolean equation. Although minimal representations to simple problems can be found easily using truth tables and K-maps, minimal representations to complex problems require a more systematic approach such as the Quine-McCluskey algorithm.
*Fixed incorrect check for number of minterms (x^2 instead of 2^x)
*Special thanks to Ian for finding the problem
* For Android 1.5 (cupcake)
* Added back support for Android 1.5
* Fixed a case where non-optimal solutions were generated
* Special thanks to Gavin Smith for helping to find the problem and testing the fix