Future Meets Logic: Sudoku Puzzle Evolution