Denis Berthier (denis-berthier)

denis-berthier

Geek Repo

Company:retired Professor from Institut Mines-Télécom, Paris, France

Location:Paris

Home Page:https://www.researchgate.net/profile/Denis-Berthier/research

Github PK Tool:Github PK Tool

Denis Berthier's starred repositories

Sudoku_Hierarchical_Classifier

Computes the universal T&E-classification of Sudoku puzzles and their B, BpB or BpBB sub-classification

License:GPL-3.0Stargazers:2Issues:0Issues:0

Classification-of-TE2-Sudokus

BpB classification of T&E(2) 9x9 Sudokus

License:GPL-3.0Stargazers:2Issues:0Issues:0

Controlled-bias_Sudoku_generator_and_collection

Controlled-bias Sudoku generator and collection

Language:JavaLicense:GPL-3.0Stargazers:6Issues:0Issues:0

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)

License:GPL-3.0Stargazers:2Issues:0Issues:0

CSP-Rules-Examples

Examples and large scale studies with the CSP-Rules-V2.1 project

Language:CLIPSLicense:GPL-3.0Stargazers:3Issues:0Issues:0

CSP-Rules-V2.1

A general pattern-based solver of finite Constraint Satisfaction problems

Language:CLIPSLicense:GPL-3.0Stargazers:15Issues:0Issues:0

mazegenerator

Generate mazes of different shapes and arbitrary sizes using graph theory

Language:C++License:MITStargazers:1036Issues:0Issues:0

julia

The Julia Programming Language

Language:JuliaLicense:MITStargazers:44715Issues:0Issues:0

binmat

A C library for efficient handling of 2D binary matrices.

Language:CLicense:GPL-3.0Stargazers:5Issues:0Issues:0