Pretty awesome generic sudoku solver that is faster that you will ever be.
-
Updated
Oct 9, 2015 - Python
Pretty awesome generic sudoku solver that is faster that you will ever be.
Pretty awesome generic sudoku solver that is faster that you will ever be.
Knowledge Representation Assignments (SAT solver, CSP solver, Qualitative Reasoning)
Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Java-based solution which is written in a functional programming style. Features Sudoku as an example application.
Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the original Java version. Features Sudoku as an example application.
Collection of puzzles transformed into constraint satisfaction problems (CSPs) and solved using Google's or-tools
Dynamic CSP solver.
Solving Sudoku puzzle with CSP
Constraint satisfaction problem solver in ocaml using backtrack methods -- moved to gitlab
Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)
solving sudoku problems with csp
Implemented a constraint satisfaction problem solver using backtracking and forward checking.
General Class + backtracking for solving any kind of CSPs
The projects are part of the course CSE-402 : Artificial Intelligence Sessional in 7th semester @buet
Solving Class Scheduling problem using the CSP method.
Constraint Satisfaction Problem (CSP) solver for Sudoku with a graphical interface through python
A constraint programming solver, relying on a backtrack paired with look forward algorithms.
Classic CSP Algorithms to solve RLFAP
CSP-Sudoku solver
Add a description, image, and links to the csp-solver topic page so that developers can more easily learn about it.
To associate your repository with the csp-solver topic, visit your repo's landing page and select "manage topics."