OKlibrary  0.2.1.6
general.hpp File Reference

Plans for the module on Ramsey theory (especially van der Waerden's problem) More...

Go to the source code of this file.

Namespaces

namespace  OKlib::RamseyTheory
 

Components regarding Ramsey theory.


namespace  OKlib
 

All components of the OKlibrary.



Detailed Description

Plans for the module on Ramsey theory (especially van der Waerden's problem)

Here components are located on applying generalised SAT solving for solving Ramsey-type problems.

Todo:
Update namespaces and their usage
Todo:
Connections

Definition in file general.hpp.