Sudoku solver with integer programming