fact: Definition just_one_solution n m l := match find_just_one n m l with jOne c => print n m c | jNone => "No Solution" | jMore c1 c2 => ("More Than One Solution" ++ cr ++ (print n m c1) ++ cr ++ (print n m c2))%string end.
imports: Sudoku Print String Parse