An F# sodoku solver.