Denis Berthier's repositories
CSP-Rules-V2.1
A general pattern-based solver of finite Constraint Satisfaction problems
Controlled-bias_Sudoku_generator_and_collection
Controlled-bias Sudoku generator and collection
CSP-Rules-Examples
Examples and large scale studies with the CSP-Rules-V2.1 project
Classification-of-TE2-Sudokus
BpB classification of T&E(2) 9x9 Sudokus
Classifications-of-TE3-Sudokus
Various classifications of all the known Sudoku puzzles at depth 3 of the universal Trial-and-Error procedure (as of July 13th, 2023)
Sudoku_Hierarchical_Classifier
Computes the universal T&E-classification of Sudoku puzzles and their B, BpB or BpBB sub-classification