Add regions and adjacency,
then click Solve →
then click Solve →
Assignment
waiting
CSP trace
— no trace yet —
Constraint Satisfaction Problem — backtracking with MRV heuristic