Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)

A modern, open-source Python framework for declarative constraint programming and combinatorial optimization.

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

C++ Crossword Solver using AC3 and Back Track Algorithms.

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 variables - cost and quantity. In order to facilitate better gift-giving on the Zappos website, the Software Engineering team would like to test a simple application that allows a user to submit two inputs: N (desired # of products) and X (desired dollar amount). The application should take both inputs and leverage the Zappos API (http://developer.zappos.com/docs/api-documentation) to create a list of Zappos products whose combined values match as closely as possible to X dollars. For example, if a user entered 3 (# of products) and $150, the application would print combinations of 3 product items whose total value is closest to $150.‏

Joint (Maths & Computer Science) Senior Honours project on Graph Homomorphisms.

solving sudoku problems with csp

Cryptarithmetic Problem Solving using 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.

SUSTech CS311 Artificial Intelligence (H, Spring 2024) Project 2

Solving Class Scheduling problem using the CSP method.

General Class + backtracking for solving any kind of CSPs

a CSP engine my guy

kakuro solver!

Modelling and Solving Kakuro as a Constraint Satisfaction Problem (CSP)

Interactive AI Sudoku Solver visualizing CSP algorithms (Backtracking, AC-3, MRV/LCV) with a reactive 3D robot companion — built with React Three Fiber

SmartGames Quadrillion IQ-puzzle game and solver

Constraint satisfaction problem (CSP) solver for Sudoku puzzles

A linear C++17-compliant solution to a common variant of Constraint Satisfaction Problems (CSP).

Modelado y resolución del problema de organización de ensayo orquestal como CSP usando Google OR-Tools. Optimiza el orden de 9 composiciones para minimizar el tiempo de espera de 5 músicos respetando restricciones de precedencia y secuencia.