OKlibrary  0.2.1.6
VanderWaerden.hpp File Reference

Plans on the module on computing van der Waerden numbers. More...

Go to the source code of this file.


Detailed Description

Plans on the module on computing van der Waerden numbers.

Todo:
Connections
Todo:
Create tests
  • Application tests are needed for Applications/RamseyTheory/plans/MinimumTransversals_VanderWaerden.cpp.
  • The problem is that currently we cannot compile this application automatically, due to the build dependencies not expressible, and thus yet we cannot create application tests.
Todo:
Checking certificates

Definition in file VanderWaerden.hpp.