Binary package “qmc” in ubuntu trusty

Quine McClusky Simplification Tool

 This tool optimizes boolean expressions using the Quine McClusky
 process.