hadwiger-nelson

Here are 3 public repositories matching this topic...

ruturajr-raval / hadwiger-nelson-spindle-free

Exact construction and certification of a 1,435-vertex Moser-spindle-free 5-chromatic unit-distance graph, improving the audited 1,441-vertex benchmark.

reproducible-research computational-mathematics combinatorics sat drat graph-coloring unit-distance-graphs hadwiger-nelson

Updated Sep 9, 2026
Python

zach7036 / small-5-chromatic-unit-distance-graphs

Star

Verified T650 forcing gadget and 1,299-vertex Moser-spindle-free 5-chromatic unit-distance graph

computational-mathematics graph-coloring sat-solving unit-distance-graph hadwiger-nelson

Updated Aug 10, 2026
SMT

keithadler / zeta42

Star

Exact-arithmetic SAT lab for the chromatic number of the plane — reproductions, a documented negative search, and two open frontier instances in the ζ42 deep end

python research computational-mathematics combinatorics sat-solver graph-coloring chromatic-number exact-arithmetic number-fields unit-distance-graph hadwiger-nelson

Updated Aug 16, 2026
Python

Add this topic to your repo

To associate your repository with the hadwiger-nelson topic, visit your repo's landing page and select "manage topics."

Learn more