OKlibrary  0.2.1.6
QuineMcCluskey.hpp File Reference

On investigations around the Quine-McCluskey algorithm. More...

Go to the source code of this file.


Detailed Description

On investigations around the Quine-McCluskey algorithm.

Todo:
Computing all prime clauses for a full clause-set

Definition in file QuineMcCluskey.hpp.