Constraint Satisfaction Solvers ML Frameworks

Implementations of CSP algorithms and solvers for combinatorial puzzles (Sudoku, KenKen, crosswords, graph coloring, etc.). Does NOT include SAT solvers, general optimization frameworks, or puzzle games without explicit CSP modeling.

There are 24 constraint satisfaction solvers frameworks tracked. The highest-rated is nikhilranjan7/sudoku-solver at 29/100 with 10 stars.

Get all 24 projects as JSON

curl "https://pt-edge.onrender.com/api/v1/datasets/quality?domain=ml-frameworks&subcategory=constraint-satisfaction-solvers&limit=20"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

#	Framework	Score	Tier	Stars	Language
1	nikhilranjan7/sudoku-solver AI that will solve sudoku based on search and constraint propagation...	29	Experimental	10	Python
2	fabridigua/LogicGamesSolver A Python tool to solve logic games with AI, Deep Learning and Computer Vision	28	Experimental	17	Python
3	stressGC/Python-AC3-Backtracking-CSP-Sudoku-Solver Python implementation of a sudoku puzzle solver (CSP) using AC3 and...	28	Experimental	13	Python
4	GeorgeSeif/Sudoku-Solver An algorithm for automatically solving Soduko puzzles	25	Experimental	15	C++
5	SrinidhiRaghavan/AI-Sudoku Solving sudoku puzzle using backtracking and AC-3	24	Experimental	14	Python
6	MatthiasNickles/diff-SAT Probabilistic Answer Set Programming and Probabilistic SAT solving, based on...	24	Experimental	70	Scala
7	davekolian/Sudoku-Solver Java program that can solve Sudoku puzzles (of type 2x2, 2x3, 3x3 and 3x3...	22	Experimental	1	Java
8	chanioxaris/kenken-solver Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)	22	Experimental	24	Python
9	amir-hossein-khodaei/ai-sudoku-csp-visualizer Interactive AI Sudoku Solver visualizing CSP algorithms (Backtracking, AC-3,...	20	Experimental	1	JavaScript
10	nouamanehaddou/sudokuSolving sudoku resolving using AI algorithms	15	Experimental	2	Java
11	academixxx/knowledge-ai-py Classic Knights and Knaves logic puzzles in python.	15	Experimental	—	Python
12	seker212/SI_Lab_Sem6 Slitherlink Puzzle interpreting as a SAT Problem	14	Experimental	1	Python
13	rafi007akhtar/SudokuSolver My footsteps into Artificial Intelligence as I make this Sudoku Solver while...	13	Experimental	7	Python
14	bhimrazy/Artificial-Intelligence-Projects This repository contains solved AI Projects.	12	Experimental	3	Python
15	Aniket-Mishra/Competitive_Sudoku_Solver_AI Repository for the code to create an AI agent to play competitive Sudoku.	12	Experimental	1	Python
16	erfanghasemi/sudoku_solver This project is a sudoku-solver implement by Constraint satisfaction...	12	Experimental	3	Python
17	Marcellohugo/KonsepKecerdasanArtificial Kumpulan tugas dan ujian mata kuliah Konsep Kecerdasan Artifisial (KKA) —...	11	Experimental	—	Jupyter Notebook
18	sunsided/sudoku2-rs Another take at Sudoku solving	11	Experimental	2	Rust
19	toanphan19/tiny-sat A SAT solver using DPLL algorithm.	10	Experimental	1	Java
20	jgurakuqi/search-based-sudoku-solver This project aims to show how to solve a given Sudoku in two different ways,...	10	Experimental	1	C++
21	fabioo29/csp-sudoku-solver Comparison of performance between different AI algorithms (Backtracking,...	10	Experimental	1	Python
22	acorrenson/Puzzle An OCaml DSL for problem solving based on symbolic AI techniques	10	Experimental	1	OCaml
23	arashsm79/ravenous-polarity Implementation of CSP heuristics and backtracking algorithm for magnet...	10	Experimental	1	Rust
24	geekn0rd/Sudoku-AI Solving the sudoku as a CSP and heuristics like MRV and AC3	10	Experimental	1	Python