OKlibrary  0.2.1.6
RamseyTheory.hpp File Reference

Plans regarding building of external sources related to Ramsey theory. More...

Go to the source code of this file.


Detailed Description

Plans regarding building of external sources related to Ramsey theory.

Todo:
Software by Pascal Schweitzer
Todo:
Software by Aaron Robertson

Definition in file RamseyTheory.hpp.