GitHub topics: constraint-propagation
adriankumpf/sudoku-solver
An Elixir implementation of Peter Norvig's Sudoku solver.
Language: Elixir - Size: 14.6 KB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0

zuliani99/Sudoku-Solver
Analysis of the Sudoku Game using Constraint Propagation with Back Tracking and Relaxation Labelling
Language: Python - Size: 736 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

nayel71/sudoku
A Sudoku solver
Language: C - Size: 393 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

huaminghuangtw/Parallel-Sudoku-Solver
🔢 A parallelized Sudoku solver implemented with various solving algorithms in C++.
Language: C++ - Size: 3.83 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 5

Gecode/gecode
Generic Constraint Development Environment
Language: C++ - Size: 28.4 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 259 - Forks: 72

ASK1995/Artificial-Intelligence
CS 531 Course Assignments + Projects at OSU
Language: Python - Size: 1.32 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

jgurakuqi/deep-learning-based-dog-breed-classifier
The goal of the project is to improve a kaggle project about Dog Breed Classification, achieving an higher test accuracy. The original project achieved 79% of accuracy on the test set, while this one goes up to 87%. Also further improvements were made to the data processing pipeline in terms of modularity and performance.
Language: Jupyter Notebook - Size: 4.77 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

guyez/Present-Wrapping-Problem
CP and SMT model to solve the Present Wrapping Problem (PWP): given a wrapping paper roll of a certain dimen- sion and a list of presents, decide how to cut off pieces of paper so that all the presents can be wrapped. Consider that each present is described by the dimensions of the piece of paper needed to wrap it. Moreover, each necessary piece of paper cannot be rotated when cutting off, to respect the direction of the patterns in the paper.
Language: Python - Size: 196 KB - Last synced at: 5 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

ntrang086/sudoku_solver
solve a diagonal sudoku game
Language: Python - Size: 676 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

Endieym/OmegaSudoku
Omega Sudoku solver by Liran Groman
Language: C# - Size: 87.9 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

alulema/ai-sudoku
Sudoku Solver. Using Naked Twins and Constraint Propagation techniques
Language: Python - Size: 171 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

aiquiral/Sudoku-Solver-Prolog
I made this as a minor project in the second semester of my MSc IT.
Language: Prolog - Size: 1.29 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

alreich/qualreas
Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction at ReadTheDocs. See link below.
Language: Jupyter Notebook - Size: 43.7 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 22 - Forks: 3

davidsusu/jsatbuilder
SAT formula builder with constraint dependency tracking written in Java
Language: Java - Size: 731 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

hoangchunghien/ai-sudoku
Applying AI to solve Sudoku
Language: Python - Size: 186 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 2

nieves-abalos/aind-sudoku
project submitted at AIND (May cohort)
Language: Python - Size: 10.7 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

sheikhumar93/solving-sudoku-using-DFS
Solving Sudoku (diagonally as well) using Depth First Search and Constraint Propagation
Language: Python - Size: 1.52 MB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

canbax/sudokuSolver
Implementation of Peter Norvig's sudoku solving and backtracking algorithms in java.
Language: Java - Size: 5.86 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

ZIB-IOL/gpu-domain-propagator Fork of Sofranac-Boro/gpu-domain-propagator
Sequantial C++ (CPU), and a CUDA (GPU) implementation of Domain Propagation for Mixed-Integer Programming problems
Language: Cuda - Size: 21.2 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

salviosage/AI-playground
Playground for Artificial intelligence projects and exercises I come across.
Language: Python - Size: 43 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

diegoalejogm/AI-Nanodegree
Project solutions for Udacity's AI Nanodegree Program
Language: Jupyter Notebook - Size: 6.94 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 14 - Forks: 16

chethanuk/AI-Agent-to-solve-Sudoku
Created an AI to solve Diagonal Sudokus using constraint propagation and search techniques. Additionally, taught the agent to use the Naked Twins advanced Sudoku strategy.
Language: Python - Size: 183 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

alreich/constraint-algebras
Algebras for qualitative reasoning about time, space, etc.
Language: Common Lisp - Size: 537 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

lurenss/Sudoku-Solver
First assignment of Artificial Intelligence course held by Professor Andrea Torsello of Ca' Foscari University of Venice used relaxation labelling and constraint propagation techniques
Language: Python - Size: 9.77 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

rafi007akhtar/SudokuSolver
My footsteps into Artificial Intelligence as I make this Sudoku Solver while learning AI online for the first time.
Language: Python - Size: 1.15 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 0

francesco-p/artificial-intelligence
Artificial Intelligence assignments, for the course Artificial Intelligence : Knowledge Representation
Language: Matlab - Size: 22.9 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 4 - Forks: 1

tlan95/Udacity-AI-nanodegree-project1-Sudoku-Solver
My solution of Udacity AI nanodegree project1 Sudoku Solver
Language: Python - Size: 225 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

Kilichbek/Sudoku-Solver
A script that helps to solve a sudoku on sudoku.com
Language: Python - Size: 1.92 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 2 - 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

foxan/AIND-Sudoku
Create an AI agent to solve Sodoku by implementing constraint propagation
Language: Python - Size: 241 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

TugcaEker/SudokuSolver-AlgorithmComparison
Comparative Approach to solve Sudoku | "Depth-first Search", "Iterative deepening depth-first search" and "Best-first search"
Language: Jupyter Notebook - Size: 146 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1

arminnh/ma1-constraint-logic-programming
Puzzle solving with ECLiPse CLP and Constraint Handling Rules
Language: Prolog - Size: 4.11 MB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 3

zhuangh/AIND-Sudoku Fork of udacity/AIND-Sudoku
Language: Python - Size: 218 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

andikarachman/AI-Sudoku-Solver
Sudoku solver by using AI approaches
Language: Python - Size: 181 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 1

prabaprakash/Sudoku-Solver
Solve the Sudoku Puzzle within 30 seconds by Constraint Propagation and Search
Language: Python - Size: 8.79 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 1

arashout/SudokuSolveCP
Sudoku Solver using C# and constraint programming
Language: C# - Size: 192 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

nikhilnayak98/sudoku-solver
Sudoku Solver
Language: Python - Size: 17.6 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

miguelangelnieto/Creating-an-AI-Agent-to-solve-Sudoku
Created an AI to solve Diagonal Sudokus using constraint propagation and search techniques. Additionally, taught the agent to use the Naked Twins advanced Sudoku strategy.
Language: Python - Size: 2.93 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

romanroibu/udacity-aind-sudoku Fork of udacity/AIND-Sudoku
Project: Diagonal Sudoku Solver | Artificial Intelligence Nanodegree | Udacity
Language: Python - Size: 213 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

BarbaraJoebstl/AIND_Sudoku
Introductory Project for the AI Nanodegree: Diagonal Sudoku Solver
Language: Python - Size: 194 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

fiquinho/AIND-Sudoku Fork of udacity/AIND-Sudoku
Udacity AIND - Solving a Sudoku using search and constrain propagation
Language: Python - Size: 215 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

ragamarkely/sudoku
Implement diagonal sudoku solver using naked twins, elimination, only choice strategy.
Language: Python - Size: 189 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1

Vvkmnn/nqueenAI
An N-queen's problem.
Language: Jupyter Notebook - Size: 169 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

sidroopdaska/Sudoku
AI Agent that can solve the Sudoku puzzle
Language: Python - Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 1

agoila/udacity-aind-P1
Using an AI agent to solve a diagonal sudoku
Language: Python - Size: 196 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

misza222/AI-Kakuro
Kakuro AI agent
Language: Python - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 4 - Forks: 0

FrancescoPalma/Udacity-AIND-Sudoku-AI
Implementation of an AI agent to solve Sudoku
Language: Python - Size: 3.68 MB - Last synced at: 6 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

eduedix/AIND-Sudoku Fork of udacity/AIND-Sudoku
udacity aind project 1
Language: Python - Size: 210 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

JJINDAHOUSE/Solving_Sudoku_with_AI
Language: Python - Size: 172 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
