Projects in Awesome Lists tagged with csp-solver
A curated list of projects in awesome lists tagged with csp-solver .
https://github.com/chanioxaris/kenken-solver
Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)
aima-book arc-consistency artificial-intelligence backtracking board constraint-satisfaction-problem constraints csp csp-solver forward-checking kenken minimum-remaining-values puzzle solver
Last synced: 27 Jun 2025
https://github.com/alex-87/qaekwy-python
A modern, open-source Python framework for declarative constraint programming and combinatorial optimization.
branch-and-bound client-library constraint-programming constraint-satisfaction-and-optimization constraint-satisfaction-problem csp csp-solver decision-making deep-first-search modeling modelling modelling-framework operational-research optimization python search-engine-optimization solver solver-algorithm
Last synced: 14 Jan 2026
https://github.com/ghazaleze/artificial-intelligence
codes of my IUT course
0-1-knapsack-problem choco-solver constraint-satisfaction-problem csp-solver game-theory hill-climbing-search max-sat metaheuristics minizinc random-restart tabu-search
Last synced: 02 Aug 2025
https://github.com/jr-morgan/genetic-algorithm-framework
A Genetic Algorithm Framework build for comparing evolutionary and genetic algorithms for the Travelling Salesman Problem and the Cutting Stock Problem
csp csp-solver evolutionary-algorithms genetic-algorithm tsp tsp-problem tsp-solver
Last synced: 20 Apr 2026
https://github.com/asifhaider/artificial-intelligence-3-2
Implementation of A* Search, Constraint Satisfaction Problem, Local Search and Knowledge Engineering
a-star-search csp-solver inference-logic latin-square local-search minesweeper n-puzzle
Last synced: 27 Mar 2025
https://github.com/ash0508/ai-based_sudoku_solver_using_csp_technique
This project is a Sudoku solver implemented in Java using the Constraint Satisfaction Problem (CSP) approach. It reads a Sudoku puzzle, applies CSP techniques to solve it, and verifies the solution.
Last synced: 12 Apr 2026
https://github.com/antnatb/k-knights
Project for Artificial Intelligence @ Unifi - Implementation of two solvers based on Backtracking and Maintaining-Arc-Consistency for the K Knights Problem
ac-3 backtracking chessboard csp-solver
Last synced: 06 Jul 2025
https://github.com/vtramo/python-algorithms
This repository contains various Python algorithms that cover a wide range of problem-solving scenarios.
ac-3-algorithm astar-algorithm backtracking-algorithm csp-solver dfsbfs graph minimax-alpha-beta-pruning python-algorithms python3
Last synced: 27 May 2026
https://github.com/thyeem/lot
A wrapper for a CSP solver using a domain-specific language
csp-solver domain-specific-language or-tools parser parser-combinators
Last synced: 25 Oct 2025
https://github.com/anthonytedja/sudoku
sudoku is an AI-powered CSP sudoku variant solver for all grid sizes
ai csp-solver forward-checking gac mrv-heuristic sudoku-solver
Last synced: 24 Mar 2025
https://github.com/james-langridge/csp-solver-playground
TypeScript implementation of a constraint satisfaction problem solver using backtracking search with MRV heuristic and AC-3 inference.
constraint-satisfaction-problem csp-solver
Last synced: 01 Aug 2025
https://github.com/kalana99/190530h-time-table-assign-csp
Constraint Satisfaction Problem: Backtracking algorithm to schedule time slots and rooms for a given set of subjects.
algorithms-and-data-structures backtracking-algorithm csp-solver problems-solving python3
Last synced: 24 May 2026
https://github.com/gabrielhdt/ocspbt
Constraint satisfaction problem solver in ocaml using backtrack methods -- moved to gitlab
csp-solver ocaml queens-problem sudoku
Last synced: 30 Mar 2025
