kr-sudoku Knowledge Representation sudoku shizzle https://github.com/cocuh/pysat/blob/master/pysat/pysat.py