Thanks for this project and it is awesome! I installed satnet through pip. But when I run the visual-sudoku examples, this error occurs: 