-
tdoku Public
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
-
trace-examples Public
Forked from DataDog/trace-examplestrace sample apps
Python BSD 3-Clause "New" or "Revised" License UpdatedJun 12, 2023 -
pencilmark_sudoku Public
Pencilmark Sudoku Datasets including low-clue puzzles and very hard puzzles
1 UpdatedNov 8, 2020 -
LHL-Sudoku-Solver-bench Public
Forked from medek/LHL-Sudoku-SolverPM Lee's C++ Sudoku Solver Souce Code. Storing on GitHub for posterity. :D
C++ UpdatedSep 19, 2020 -
rust_sudoku_bench Public
Forked from Emerentius/sudokuA fork of rust sudoku for use with Tdoku benchmarks
Rust GNU Affero General Public License v3.0 UpdatedSep 19, 2020 -
minisat Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
C++ Other UpdatedJun 7, 2020 -
norvig-sudoku-bench Public
Forked from pauek/norvig-sudokuA fork of norvig-sudoku to use with Tdoku benchmarks
C++ UpdatedMay 4, 2020 -
fsss2_bench Public
Forked from dobrichev/fsss2A fork of FSSS2 for use with Tdoku benchmarks
C++ UpdatedJan 1, 2020 -
-
SK_BFORCE2_bench Public
Forked from GPenet/SK_BFORCE2A fork of SK_BFORCE2 for use with Tdoku benchmarks
Objective-C GNU General Public License v3.0 UpdatedJul 10, 2019 -
plb_sudoku_bench Public
Forked from attractivechaos/plbProgramming language benchmarks
C UpdatedJul 27, 2018