RamseyX
An open-source project which looks for Ramsey numbers.
Popular repositories
-
RamseyX-client
RamseyX-client PublicA project aimed at improving the lower bounds of Ramsey numbers.
C++ 6
A project aimed at improving the lower bounds of Ramsey numbers.
C++ 6