GitHub repository: marshareb/ramsey
Primary language: Python
Created: 2017-01-31T21:44:08Z
Description: Attempting to improve the lower bound of diagonal Ramsey numbers