Solving Sudoku with the Python package resolver