Anonymous user
Sudoku: Difference between revisions
m
→Constraint Propagation (Norvig)
Line 4,270:
| Some seqx when Seq.isEmpty seqx -> some sx
| Some seq -> Ok seq
| _ -> Error "
// Choose the unfilled square(s) s with the fewest possibilities
[for s in squares do if Seq.length values[s] > 1 then Seq.length values[s] ,s]
Line 4,317:
printfn $"Puzzles:{num}, Total:{total} ms, Average:{((float total) /(float num))} ms"
Console.ReadKey() |> ignore
0
Line 4,387 ⟶ 4,386:
5 9 8 |7 3 6 |2 4 1
Elapsed milliseconds =
First 10000 puzzles in sudoku17
Puzzles:10000, Total:
===The Function SLPsolve===
| |||