Các Quine-McCluskey Solver là một công cụ cho việc tìm kiếm các đại diện tối thiểu của mỗi phương trình Boolean. Mặc dù đại diện tối thiểu để các vấn đề đơn giản có thể được tìm thấy dễ dàng bằng cách sử dụng bảng chân lý và K-bản đồ, cơ quan đại diện tối thiểu để các vấn đề phức tạp đòi hỏi phải có một cách tiếp cận có hệ thống hơn như các thuật toán Quine-McCluskey.
20120521
*Fixed incorrect check for number of minterms (x^2 instead of 2^x)
*Special thanks to Ian for finding the problem
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