BooleanCube/SudokuSolver not found