csp-solver

mguenther/csp-solver-scala

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.

alex-87/qaekwy-python

Python Client library for Qaekwy Operational Research Solver

StevenSalazarM/CSP-Sudoku-Solver

Constraint Satisfaction Problem (CSP) solver for Sudoku with a graphical interface through python

GhazaleZe/Artificial-Intelligence

codes of my IUT course

VissaMoutafis/RLFAP-Solver

Classic CSP Algorithms to solve RLFAP

yangeorget/nucs

NUCS is a Python library for solving Constraint Satisfaction and Optimization Problems over finite domains

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

mguenther/csp-solver-java

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.

BretVH/Zappos-Engineering-Challenge-

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.‏

matsuda0528/ravensat

SAT Solver Interface in Ruby

zahrasalarian/CSP-Sudoku

CSP-Sudoku solver

alinadirkhanloo/sudoku

solving sudoku problems with csp

gglorian/Nacre

NACRE : Nogood And Clause Reasoning Engine

MahmoudHussienMohamed/AC3-CPP-Crossword-Solver

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

theoden8/sh-project

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

tzxb018/csp-solver

This is a Java based CSP solver that uses different search algorithms to find consistent solutions to the CSP

Wanqianxn/dycsp-solver

Dynamic CSP solver.

danilonumeroso/csp-solver

General Class + backtracking for solving any kind of CSPs

duongtruongbinh/Cryptarithmetic-Problem

Cryptarithmetic Problem Solving using CSP

luizsci42/Organizador-de-Horarios-AIMA-PSR

maksym-turkot/csp-sudoku-solver

Constraint satisfaction problem (CSP) solver for Sudoku puzzles

massykezzoul/csp-experimentation

Ce projet s'attache à mettre en place des optimisations au resolveur de CSP.

NH0/CSP_solver

A constraint programming solver, relying on a backtrack paired with look forward algorithms.

NTDuck/csp-solver

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

pouriyabp/kakuro-CSP-solver

kakuro solver!

Secret-Ambush/Timetable-generator

BPDC Timetable Generator using CSP

vocheretnyi/class-scheduling-csp

Solving Class Scheduling problem using the CSP method.

antnatb/k-knights

Project for Artificial Intelligence @ Unifi - Implementation of two solvers based on Backtracking and Maintaining-Arc-Consistency for the K Knights Problem

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.

BurhanHussain1/Sudoku-Puzzle-Solver-Python-

Sudoku puzzle solver using ARC-3 and Backtracking Algorithms

Demenico14/CSP-algorithm-Implementation

Implementation of the CSP algorithm using a Sudoku Solver

fz-zsl/CARP

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

my-LinkedIn/pe-0345

Problem #345 - Matrix Sum

PinkEx/BTC_solver

The quick solver of game Break-the-Code.

jsurrea/pulse_rust

Rust implementation of the Pulse Algorithm