GitHub topics: constraint-propagation-algorithm
guillaumeast/42_rush01
🧩 Rush01 (42 Paris Piscine) — Sub-millisecond Skyscrapers puzzle solver in C, built with a custom backtracking core and a handcrafted constraint propagation engine.
Language: C - Size: 1.34 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
empobla/SudokuSolver
A Sudoku puzzle solver that, with the use of constraint propagation and backtracking search, can solve any Sudoku puzzle, including Arto Inkala’s world’s hardest Sudoku puzzle, in under 1 second.
Language: Python - Size: 24.4 KB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
ElsevierSoftwareX/SOFTX-D-21-00153
CSTNU Tool: A Java Library for Checking Temporal Networks. To cite this Original Software Publication: https://www.sciencedirect.com/science/article/pii/S2352711021001564
Language: Java - Size: 64.4 MB - Last synced at: almost 3 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
