OKlibrary  0.2.1.6
general.hpp File Reference

On investigations into minimum representations of boolean functions. More...

Go to the source code of this file.


Detailed Description

On investigations into minimum representations of boolean functions.

Todo:
Connections
Todo:
Minimum CNF/DNF representations
  • We need an overview and links to all investigations related to computing minimum CNFs or DNFs of boolean functions.
  • We need an overview and links to all methods and tools.
  • Likely we need a dedicated submodule.

Definition in file general.hpp.