An open API service providing repository metadata for many open source software ecosystems.

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

Related Keywords
constraint-propagation 49 artificial-intelligence 22 sudoku-solver 18 sudoku 12 depth-first-search 10 python 8 ai 7 search 6 constraint-satisfaction-problem 6 constraint-programming 6 naked-twins 6 backtracking 4 machine-learning 3 udacity 3 game 3 sudoku-puzzle 3 backtracking-algorithm 3 qualitative-reasoning 2 relaxation-labelling 2 backtracking-search 2 temporal-reasoning 2 relation-algebras 2 game-playing-agent 2 constraints 2 java 2 udacity-nanodegree 2 pygame 2 elimination-strategy 2 dancing-links 2 python3 2 sudoku-game 2 forward-checking 2 owl 1 time-points 1 rdf 1 reasoning 1 time-intervals 1 relation-algebra 1 temporal-networks 1 time 1 ontology 1 common-lisp 1 branching-time 1 sudokus 1 planning 1 game-playing 1 uniform-cost-search 1 semantic-networks 1 nlp 1 markov-decision-processes 1 informed-search 1 hidden-markov-model 1 depth 1 breadth-first-search 1 dotnet 1 xtest 1 udacity-aind 1 nanodegree 1 diagonals 1 naked-twins-strategy 1 jupyter 1 nqueens-problem 1 search-algorithm 1 dfs-algorithm 1 python-3 1 visualization 1 board 1 kakuro 1 agent 1 only-choice-strategy 1 w3c 1 web-ontology-language 1 classification-algorithm 1 dimensionality-reduction 1 sudoku-solution-finder 1 dfs 1 games 1 gaming 1 best-first-search 1 ipynb 1 clpfd 1 constraint-handling-rules 1 kuleuven 1 university-project 1 searching-algorithms 1 udacity-ai-nanodegree 1 minizinc 1 pytorch 1 inception-v3 1 dog-breed-classifier 1 deep-learning 1 data-augmentation 1 convolutional-neural-network 1 albumentations 1 towers-of-hanoi 1 intelligent-agent 1 beam-search 1 a-star-search 1 constraint-solver 1 constraint-satisfaction 1