Links for sudoku-mip-solver