Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)
Python Client library for Qaekwy Operational Research Solver
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.
Constraint Satisfaction Problem (CSP) solver for Sudoku with a graphical interface through python
codes of my IUT course
A Genetic Algorithm Framework build for comparing evolutionary and genetic algorithms for the Travelling Salesman Problem and the Cutting Stock Problem
Classic CSP Algorithms to solve RLFAP
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.
SAT Solver Interface in Ruby
CSP-Sudoku solver
Code for the Software Engineering College Intern position Challenge. This code tries to retrieve n-items whose total value is greater than 95% of the value of the amount the user would like to spend and less than 105% of the amount the user desired to spend, by solving a CSP. DESCRIPTION: When giving gifts, consumers usually keep in mind two var…
Joint (Maths & Computer Science) Senior Honours project on Graph Homomorphisms.
C++ Crossword Solver using AC3 and Back Track Algorithms.
NACRE : Nogood And Clause Reasoning Engine
solving sudoku problems with csp
This is a Java based CSP solver that uses different search algorithms to find consistent solutions to the CSP
Dynamic CSP solver.
BPDC Timetable Generator using CSP
A constraint programming solver, relying on a backtrack paired with look forward algorithms.
Cryptarithmetic Problem Solving using CSP
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."