A sukodu generator and solver using backtracking and forward checking.