jan-g/sudoku-z3

taking the fun out of fun since 1643

Sudoku helper

This uses z3 to solve sudoku. It's not actually very "helpful" compared to something that would, you know, lead you by the nose. Nonetheless.