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 28 constraint satisfaction solvers frameworks tracked. The highest-rated is nikhilranjan7/sudoku-solver at 36/100 with 10 stars.

Get all 28 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...	36	Emerging	10	Python
2	stressGC/Python-AC3-Backtracking-CSP-Sudoku-Solver Python implementation of a sudoku puzzle solver (CSP) using AC3 and...	35	Emerging	13	Python
3	fabridigua/LogicGamesSolver A Python tool to solve logic games with AI, Deep Learning and Computer Vision	35	Emerging	17	Python
4	GeorgeSeif/Sudoku-Solver An algorithm for automatically solving Soduko puzzles	32	Emerging	15	C++
5	SrinidhiRaghavan/AI-Sudoku Solving sudoku puzzle using backtracking and AC-3	31	Emerging	14	Python
6	MatthiasNickles/diff-SAT Probabilistic Answer Set Programming and Probabilistic SAT solving, based on...	31	Emerging	70	Scala
7	chanioxaris/kenken-solver Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)	29	Experimental	24	Python
8	davekolian/Sudoku-Solver Java program that can solve Sudoku puzzles (of type 2x2, 2x3, 3x3 and 3x3...	29	Experimental	1	Java
9	nouamanehaddou/sudokuSolving sudoku resolving using AI algorithms	22	Experimental	2	Java
10	rafi007akhtar/SudokuSolver My footsteps into Artificial Intelligence as I make this Sudoku Solver while...	20	Experimental	7	Python
11	bhimrazy/Artificial-Intelligence-Projects This repository contains solved AI Projects.	19	Experimental	3	Python
12	erfanghasemi/sudoku_solver This project is a sudoku-solver implement by Constraint satisfaction...	19	Experimental	3	Python
13	geekn0rd/Sudoku-AI Solving the sudoku as a CSP and heuristics like MRV and AC3	17	Experimental	1	Python
14	acorrenson/Puzzle An OCaml DSL for problem solving based on symbolic AI techniques	17	Experimental	1	OCaml
15	jgurakuqi/search-based-sudoku-solver This project aims to show how to solve a given Sudoku in two different ways,...	17	Experimental	1	C++
16	toanphan19/tiny-sat A SAT solver using DPLL algorithm.	17	Experimental	1	Java
17	fabioo29/csp-sudoku-solver Comparison of performance between different AI algorithms (Backtracking,...	17	Experimental	1	Python
18	seker212/SI_Lab_Sem6 Slitherlink Puzzle interpreting as a SAT Problem	16	Experimental	1	Python
19	academixxx/knowledge-ai-py Classic Knights and Knaves logic puzzles in python.	13	Experimental	—	Python
20	sevdaimany/Puzzle-Solver 🧩Using backtracking algorithm to solve binary puzzles	13	Experimental	11	Python
21	Marcellohugo/KonsepKecerdasanArtificial Kumpulan tugas dan ujian mata kuliah Konsep Kecerdasan Artifisial (KKA) —...	13	Experimental	—	Jupyter Notebook
22	tatiana-boura/SAT-Solver-using-NNs This project aims to predict the satisfiability of a SAT3 problem instance...	12	Experimental	5	Jupyter Notebook
23	zahrasalarian/CSP-Sudoku CSP-Sudoku solver	11	Experimental	3	Python
24	Big-ShahMir/Battleship_Solitaire_Solver Battleship Solitaire Solver is a Python program designed to solve Battleship...	11	Experimental	—	Python
25	AbirLOUARD/Sudoku-CSP Sudoku solver with Artificial Intelligence	11	Experimental	4	Python
26	Cinciullain/Sudoku-Autonomo Solver di Sudoku scritto in Processing 3, per mettere in pratica alcuni...	11	Experimental	—	Processing
27	duongtruongbinh/Cryptarithmetic-Problem Cryptarithmetic Problem Solving using CSP	10	Experimental	2	Python
28	Gearhartlove/AI-Sudoku-Solver Using backtracking and local search algorithms to solve Sudoku problems.	10	Experimental	2	C#

Comparisons in this category

Python-AC3-Backtracking-CSP-Sudoku-Solver and AI-Sudoku (35 vs 31) sudoku-solver and SudokuSolver (36 vs 20)