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...