t-dillon/tdoku
View on GitHub ↗ ★ 284 C++
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
4 mentions on Hacker News by 2 people: 0 stories, 4 comments · first 2019-09-04 · latest 2022-02-13
20082026
-
…the author acknowledges in a comment). For context see these benchmarks from a modern laptop ( https://github.com/t-dillon/tdoku/blob/master/benchmarks/res... ) and compare lhl_sudoku to the other simple solvers tdev_basic_heuristic,…
comment by 53x15 · 2022-02-13 · in Singapore prime minister Lee Hsien Loong’s Sudoku solver (2018) -
…would take a lot of effort to write one that's faster than what you get with Minisat for free. [1] https://github.com/t-dillon/tdoku/blob/master/benchmarks/GCE...
comment by 53x15 · 2019-09-29 · in Modern SAT solvers: fast, neat and underused -
…2011 benchmarks, and today there are several solvers that are 2x faster than JSolve ( https://github.com/t-dillon/tdoku/tree/master/benchmarks ). If the difference is really an order of magnitude, that's pretty non-competitive. I certainly…
comment by 53x15 · 2019-09-05 · in Solving Every Sudoku Puzzle (2006) -
There is a collection of benchmarks of the fastest sudoku solvers here: https://github.com/t-dillon/tdoku/tree/master/benchmarks How fast they are depends on the difficulty of the sudoku and on your machine, but it's typically a few…
comment by emerent · 2019-09-04 · in Solving Every Sudoku Puzzle (2006)