Open Source Adventures: Episode 05: Sudoku Solver in Crystal Z3

All right, time to write a Sudoku Solver! I wrote it probably 20 times by now in Ruby, as I did this so many times at unconferences and such, so I got one of them and tried to port it to Crystal Z3, filling in any missing functionality as I go. Porti...