A Sudoku Solver written in Mirah for the JVM.  Solves with logic but has a brute force option.