massaged a specification in solver.sml a bit
Merge branch 'master' of https://github.com/pkd1/sudokusolver