simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-08 20:25:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

detail: sudoku solver prints total time

Browse source
This commit is contained in:
Simon Cruanes 2019-02-21 17:51:52 -06:00 • committed by Guillaume Bury
parent 5bfd975ed3
commit 34f64d2d69
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/sudoku/sudoku_solve.ml
View file

@ -308,7 +308,9 @@ let solve_file file =
| Some g' -> | Some g' ->
Format.printf "@[<v>@[<2>solution (in %.3fs):@ %a@]@,###################@]@." Format.printf "@[<v>@[<2>solution (in %.3fs):@ %a@]@,###################@]@."
(Sys.time()-.start) Grid.pp g') (Sys.time()-.start) Grid.pp g')
grids grids;
Format.printf "@.solved %d grids (in %.3fs)@." (List.length grids) (Sys.time()-.start);
()
let () = let () =
Fmt.set_color_default true; Fmt.set_color_default true;