Chấm dưới tên vùng là miền giá trị còn lại; chấm rỗng là giá trị đã bị loại. Chạm một vùng để đặt màu thử trước.
Mô phỏng từng bước bài toán tô màu bản đồ Úc: mỗi vùng là một biến, hai vùng kề nhau phải khác màu. Đổi heuristic, suy luận và cách quay lui để thấy cây tìm kiếm thay đổi thế nào. Đổi cấu hình
Chấm dưới tên vùng là miền giá trị còn lại; chấm rỗng là giá trị đã bị loại. Chạm một vùng để đặt màu thử trước.
Cùng số màu, thứ tự cố định và màu thử trước như hiện tại. Chạm một dòng để mô phỏng cấu hình đó.
Phím tắt: ← → đi từng bước, Space chạy hoặc dừng, Home End về đầu hoặc tới cuối.