Just for fun: presolving in JuMP

Wasted the morning on this, had fun.
It actually presolves the entire 3x3 "sudoku" problem included.