OKlibrary  0.2.1.6
Ramsey Namespace Reference

Classes

class  Enumerate_hyperedges
 Computing the hypergraphs underlying Ramsey-instances. More...
class  Ramsey_TwoColours_1
 Outputs a Ramsey SAT-instance for two colours and arbitrary hyperedge size. More...