constraint-satisfaction-problem | Topic

Topic: "constraint-satisfaction-problem"

valenpe7/nonogram_solver

simple Java implementation of nonogram solver based on constraint satisfaction programming using several heuristics

Language: Java - Size: 243 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 1

mjaglan/AI-Foundations

Problem Solving With AI Approaches: Heuristic Searches, Statistical Classifications

Language: Python - Size: 94.9 MB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 1

jithinr77/Cryptarithmetic-Solver

Degree Final Year project. An example of how recursion with back tracking can be implemented using Java to solve a Constraint Satisfaction Problem

Language: Java - Size: 32.2 KB - Last synced at: 5 months ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0

emkor/n-queen-problem

University project solving n-queen problem using CSP approach

Language: Python - Size: 15.6 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 3 - Forks: 0

z1skgr/N_Queens

Solving algorithms on N queens problem

Language: Java - Size: 486 KB - Last synced at: 19 days ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

barannmeisterr/Pediatric-Endocrinology-Clinic-Time-Table-Scheduling-System

This java swing gui project is a comprehensive scheduling system for a Pediatric Endocrinology Clinic. It uses Directed Graph data structure to efficiently model the complex relationships and constraints between doctors and their shifts. The system ensures that all constraints related to doctor-shift assignments are respected generates timetable.

Language: Java - Size: 73 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

cordisvictor/easycsp-lib

EasyCSP is an open-source Java library for Constraint Satisfaction Programming. Supports CSPs, CSOPs, discrete object domains, int interval domains, int constraint binarization. Examples include NQueens, Sudoku. (Builds on Sourceforge)

Language: Java - Size: 449 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

aws-samples/employee-shift-scheduling-optimization-cdk

Employee Scheduling Optimization Project with AWS CDK

Language: Java - Size: 2.19 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 3

frankheat/JobScheduling-RCM

This work aims to help the project manager in RCM (Residential Construction Management) activities.

Language: Python - Size: 79.1 KB - Last synced at: 30 days ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

prashant11235/tabu-search

An implementation of tabu search algorithm

Language: JavaScript - Size: 1.54 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

melwyn95/SudokuSolver

A Sudoku Solver written in Go

Language: TypeScript - Size: 1.96 MB - Last synced at: 14 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

patarisac/project-ai-sudoku

Proyek Akhir Mata Kuliah Kecerdasan Buatan

Language: Python - Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

MahmoudHussienMohamed/AC3-CPP-Crossword-Solver

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

Language: C++ - Size: 164 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

Dan-LB/miracle_sudoku

A MiniZinc solver for Miracle Sudoku, a Sudoku variant with additional constraints, and a Miracle Sudoku generator.

Language: Python - Size: 45.9 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

mohammadtavakoli78/Artificial-Intelligence

This repository is projects of Artificial Intelligence course

Language: Python - Size: 4.2 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

chufanchen/Pacman

Distributed Constraint Optimization Problems Solver

Language: Python - Size: 3.45 MB - Last synced at: 6 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 2

Yashkapure06/Algorithms

Language: Python - Size: 9.77 KB - Last synced at: 21 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

TGoldC/HMM_Viterbi-Particle_Filtering-CSP-Logic

Implement Viterbi algorithm, Particle Filtering for robot localization, Logic problem and Constraint Satisfaction Problem

Language: Jupyter Notebook - Size: 8.59 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

zarif98sjs/CSE-318-Artificial-Intelligence

CSE 318 Artificial Intelligence Sessional (L3/T2)

Language: Java - Size: 5.83 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

mahdirezaie336/BinaryPuzzle

A solution to a binary puzzle using CSP algorithms.

Language: Python - Size: 194 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

jahs-es/satellite-scheduling-optaplanner

An optaplanner planning problem related to satellites and tasks to assign to visibilities zones linked to that satellites. Used Quarkus and Constraint Streams.

Language: Java - Size: 43 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

Lostefra/Present_Wrapping_Problem

CP, SAT and SMT implementation of the PWP

Language: Jupyter Notebook - Size: 1.07 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

heussd/next-digital-leader-summit-2020

Language: Java - Size: 153 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

AGiannoutsos/kakuro-solver

A simple kakuro CSP problem solver from AIMA python https://github.com/aimacode/aima-python

Language: Python - Size: 7.57 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 1

BruunAnd/genetic-scheduler

🏫 Scheduling of lectures on Aalborg University with a genetic algorithm.

Language: C - Size: 1.57 MB - Last synced at: 12 months ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

eamsen/ace

Fast constraint satisfaction problem solver.

Language: C++ - Size: 1.82 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

lakshya16240/Artificial-Intelligence-Assignments

All the programming assignments done as a part of the AI course in IIIT Delhi

Language: Jupyter Notebook - Size: 10.9 MB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 1

Hokaid/CP-for-COVID-19

Application of Constraint Programming to solve a problem related to COVID-19 Pandemic

Language: Python - Size: 2.66 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

NekSfyris/Simulated-Annealing-Min-Conflicts_N_Queens

Implementation of the N-Queens problem by using Simulated Annealing as a local search algorithm and Min Conflicts as the CSP (Constraint Satisfaction Problem) algorithm.

Language: Python - Size: 13 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

farhanghazi97/Constraint-Optimization-

Develop optimal solutions to a scheduling problem by modelling it as a Constraint Satisfaction Problem (CSP), a method used widely in the field of Artificial Intelligence.

Language: Python - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

michellesri/cs188

UC Berkeley CS188: Artificial Intelligence

Language: Python - Size: 1.42 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 5

BottCode/IQPuzzlerSolver

An artificial intelligence which solves IQ puzzler game.

Language: Python - Size: 170 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

fstiehle/owl_inspector

GUI to visualize SWI CLP(FD) programs

Language: JavaScript - Size: 531 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 1

HamzaAnis/resource-management-problem

Solving resource management problem using backtracking,back jumping and forward checking. Edit Add topics

Language: C++ - Size: 2.62 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

adityagupta1089/Sudoku-Solver-by-CSP-and-Minisat

Sudoku Solver by constraint satisfaction problem (CSP) using heuristics - Minimum Remaining Value (MRV), Least Common Value (LCV), Maintainin Arc Consistency (MAC). Secondly, by converting to Satisfiability Problem (SAT) and using a sat solver (miniSAT).

Language: Java - Size: 1000 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0

angusfung/sudoku-AI

Sudoku solver by modelling it as a CSP (constraint-satification problem), and additionally as an exact cover problem using Dancing Links (TO DO).

Language: Python - Size: 8.79 KB - Last synced at: 23 days ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0

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.

Language: Java - Size: 22.5 KB - Last synced at: about 2 years ago - Pushed at: almost 9 years ago - Stars: 2 - Forks: 2

yangeorget/nucs

NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains

Language: Python - Size: 2.45 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

aliakseis/minesweeper-redux

About.com April'2009 Programming Challenge 24 - MineSweeper Redux

Language: C++ - Size: 31.3 KB - Last synced at: 16 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 1

emrulk1/AI-ML-Data-Science-Practice

This repository contains codes related to my AI , Machine learning, Deep Learning and data Science practice for courseworks and self learning.

Language: Jupyter Notebook - Size: 10.6 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

Raihan4520/AI-And-Expert-System

Python implementations from the AI and Expert System course at AIUB, covering search algorithms, machine learning, and neural networks.

Language: Python - Size: 3.83 MB - Last synced at: about 2 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

smadhiv/KakuroSolver

This python implementation solves kakuro puzzle by recursively eliminating improbable permutations

Language: Python - Size: 24.4 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 1

EmmanuelEzenwere/AIND-AIprojects

Portfolio of AI projects developed during my Udacity AI Nanodegree, covering Planning AI, Constraint Satisfaction, Hidden Markov Models, and Search algorithms.

Language: HTML - Size: 3.75 MB - Last synced at: 2 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

luhanzhen/RuCos

RuCos is an extremely high-performance parallel constraint solver implemented by Rust.

Language: Rust - Size: 248 KB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

IlyaKhalafi/AI-Assignments

My assignments for homework of AI course at Amirkabir University of Technology

Language: Jupyter Notebook - Size: 2.92 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

PriorLax123/Propositional_Logic

This Project shows an understanding of Propositional Logic, Conjunctive Normal Form, and The Resolution Refutation Method.

Language: Java - Size: 18.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

jgurakuqi/search-based-sudoku-solver

This project aims to show how to solve a given Sudoku in two different ways, through Backtracking (in a flavour of Forward Checking) and Relaxation Labeling.

Language: C++ - Size: 75.2 KB - Last synced at: 24 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

buffos/aind_projects

projects for Udacity's AI nanodegree

Language: Python - Size: 998 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

arnaud-m/cryptator

A constraint-based cryptarithm solver

Language: Java - Size: 4.53 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

duongtruongbinh/Cryptarithmetic-Problem

Cryptarithmetic Problem Solving using CSP

Language: Python - Size: 63.5 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

rishika-afk/AI-problems

Solving real world problems with AI. Done under Lab of Artificial Intelligence in 2022-2023

Language: Jupyter Notebook - Size: 94.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

angee/nqueens-game

A web-based game for playing n-queens using Python Flask

Language: HTML - Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

m-shahrestani/Pacman-Projects

Principles & Applications of Artificial Intelligence at Amirkabir University of Technology course projects

Language: Python - Size: 10.4 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

KB9/JindoshRiddleSolver

A constraint solver for Dishonored 2's Jindosh Riddle.

Language: JavaScript - Size: 3.32 MB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

le-n-qui/constraints-verifying-solver

The solver finds a solution to the problem given the constraints. No solution may be found if all the constraints are not satisfied.

Language: Python - Size: 43 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

ryancollingwood/RankParser

Constraints solving (sequencing, priority) as a command line tool. Type your constraints in simple plain text. Generation of Graphviz compatible documents that can be rendered as a diagram!

Language: Python - Size: 716 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

SameetAsadullah/CSP-on-Exam-Scheduling-Using-Backtracking

Python program to implement Constraint Satisfaction Problem (CSP) on Exam Scheduling Problem using Backtracking Algorithm

Language: Python - Size: 1.95 KB - Last synced at: 15 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

arashsm79/ravenous-polarity

Implementation of CSP heuristics and backtracking algorithm for magnet puzzle in Rust.

Language: Rust - Size: 39.1 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

pranay1208/wordle-ai

An AI bot that attempts to solve the Wordle puzzle using constraint satisfaction (no answer lookups :P)

Language: Python - Size: 107 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

gadgil-devashri/csp-map-coloring

This code was submitted as programming project two for ITCS 6150 Intelligent Systems under Dr. Dewan Ahmad at the University of North Carolina at Charlotte for the fall 2021 semester. The aim is to solve the constraint satisfaction problem of map coloring for the USA and Australia.

Language: Python - Size: 51.5 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 3

salar-shdk/AC3

cpp AC3 algorithm implementation

Language: C++ - Size: 14.6 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

maximilian-foerg/SudokuSolver

This Sudoku solver written in C# was created as part of the Open Doors Day at baramundi software AG on 04/13/21.

Language: C# - Size: 83 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

AlirezaEbrahimkhani/AI-Advanced-Search-Algorithms

Implementation of Artificial Intelligence advanced search algorithms

Language: Python - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

shuai-yang/A-practice-for-AI-search-algorithm-solving-CSPs

This is a practice for AI Search Algorithm. Grocery Bagging is a Constraint Satisfaction Problem (CSP). I used Backtracking search algorithm (Depth-First-Search) along with arc-consistency, Most Restrictive Value (MRV) and Least Constraining Value (LCV) heuristics for prioritizing and pruning to solve the problem as efficiently as possible.

Language: Java - Size: 222 KB - Last synced at: 8 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

masiiie/csp-five-houses

Language: Python - Size: 10.7 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

zakariamejdoul/csp_project

Car Sequencing Problem solved by constraint programming approach and Choco Solver.

Language: Java - Size: 8.79 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

alfred100p/N-Queens-Problem-Solver

A C++ Implementation of a CSP to solve the N queens problem showing all possible arrangements for any N( integer)

Language: C++ - Size: 26.4 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

AGiannoutsos/corssword_solver

A small project in C to solve random crosswords with a given wordlist

Language: C - Size: 297 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

davekolian/Sudoku-Solver

Java program that can solve Sudoku puzzles (of type 2x2, 2x3, 3x3 and 3x3 diagonal) with the help of the Backtracking algorithm and the Constraint Satisfaction Problem.

Language: Java - Size: 13.8 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

rhalm/2d-packing-with-constraints

A simple solution to a Constraint Satisfaction Problem using forward checking and MRV heuristics

Language: Python - Size: 10.7 KB - Last synced at: 12 months ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

teodutu/IA

Inteligenta Artificiala - UPB 2020-2021

Language: Jupyter Notebook - Size: 20.6 MB - Last synced at: 27 days ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

brianlechthaler/QuantumSolutions

Solving real-world problems with NISQ-era quantum computing hardware.

Language: Jupyter Notebook - Size: 2.07 MB - Last synced at: 11 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1

Arashhs/Computational-Intelligence-Programming-Task-1

Solving NP-Complete problems using Genetic Algorithms and Evolution Strategy for my Computational Intelligence course. In the first problem, I have solved the Steiner Tree Problem using Genetic Algorithms. The second problem is an optimization problem, I have implemented an ES algorithm to find the global minimum of the Eggholder function. For the final problem, I have implemented a GA to find an answer for a Constraint Satisfaction Problem (CSP).

Language: Python - Size: 5.98 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

ibkvictor/Crossword-Puzzle-hackerrank

Using a backtracking algorithm to solve crossword puzzles.

Language: Python - Size: 231 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1

Wolverin-e/WiFiCoverageCSP

Course Project: Artificial Intelligence

Language: Python - Size: 1.38 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

bornabesic/shoptimize

🛒 CSP solver that generates an optimal grocery list

Language: C++ - Size: 62.5 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

KarthikMurugadoss1804/Project-Planning---Constraint-programming

Developed a constraint satisfaction problem model for deciding what projects can be taken on and what companies need to be contracted to deliver on these projects.

Language: Python - Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

zaman-akib/Suguru-Game-CSP

Constraint Satisfaction problem

Language: Java - Size: 1.91 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

JohnPapad/KenKen-Solver

A KenKen python solver that represents the game as a Constraint Satisfaction Problem (CSP) and can use several algorithms for its solution.

Language: Python - Size: 93.8 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

mcaci/zebra-puzzle-example

A solution for the zebra puzzle in Go

Language: Go - Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

primaryobjects/AIND-Sudoku Fork of udacity/AIND-Sudoku

Sudoku solver using the AI artificial intelligence concepts constraint propagation and depth-first search.

Language: Python - Size: 3.72 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

Topic: "constraint-satisfaction-problem"

primaryobjects/AIND-Sudoku Fork of udacity/AIND-Sudoku

swasun/FrequencyAllocationProblem 📦