IP based sudoku solved. Uses GLPK