Exact, certificate-driven tools for total coloring and auxiliary edge-coloring research
-
Updated
Aug 18, 2026 - Python
#
total-coloring
Here are 5 public repositories matching this topic...
Reproducible datasets and certificate artifacts for total-coloring research
-
Updated
Jul 14, 2026 - Python
Lean 4 formalization and certificate checking for total coloring and auxiliary rainbow edge-coloring reductions
-
Updated
Aug 25, 2026 - Lean
Total Coloring algorithm implementation
-
Updated
Feb 23, 2022 - Prolog
Verification of the Total Coloring Conjecture for all graphs with at most 14 vertices using a SAT Modulo Symmetry Solver.
-
Updated
Aug 3, 2025 - Python
Improve this page
Add a description, image, and links to the total-coloring topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the total-coloring topic, visit your repo's landing page and select "manage topics."