Abstract:
We present a Java applet that uses Constraint Processing (CP) techniques to assist a human in playing the popular game Minesweeper. Our goal is to illustrate the power of CP techniques to model and solve combinatorial problems. Our application allows the player to run 3 levels of consistency algorithms to uncover mined and safe squares on the board. This tool is useful to explain CP techniques in a context that is familiar to students and the general public.