Packing Coloring Lab

Packing Coloring Lab

Graph

Graph

Play

Budget K

Auto-fill forced vertices Lookahead (what-if reasoning)

Solver

Time limit

Progress

Save & share

External SAT solver

Export the chunk as DIMACS CNF for kissat / CaDiCaL, then import the solver's output.

Keep current colors fixed

Gallery

Display

Show surrounding copies Hover preview of exclusion zones Largest color

Keys: 1–9, 0 = 10, two digits for 11+ · E eraser · Z / Shift+Z · F fit · H hint · [ ] color