Fidder, B. (2023). Finding and examining extremal cases of the Ramsey numbers (Version 1.0.0) [Computer software]. https://github.com/BjornFidder/ramsey