Quine-McCluskey Solver

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.

Recent changes:
20100921
* 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