The proposal for this project is to use a constraint programming facility such as JaCoP in Java or CLP(FD) in SICStus Prolog to develop an aid that will generate well-formed and entertaining SuDoku puzzles and can solve and explain their solution at every step.