C++ implementation of Quine-McCluskey and Petrick's method to simplify boolean expressions - View it on GitHub