Quine-McCluskey boolean logic simplifierは、C++で実装されています。無関係な値を含む、32種類の変数の入力機能を単純化することができます。このプログラムはデジタルデザインの授業のためのポズナン工科大学（ポーランド）で書かれています。
