Specifications for RamseyX, a project that calculates the Ramsey number.