alex-croitoriu/Sudoku-Solver

Fast Sudoku Solver that leverages bitmasks and the MRV heuristic to crack over 450.000 grids/second

Language: Rust - Size: 238 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

mahdavipanah/SudokuPyCSF

Solve Sudoku with Python using the CSF approach

Language: Python - Size: 4.88 KB - Last synced at: about 2 months ago - Pushed at: over 8 years ago - Stars: 5 - Forks: 2

billsioros/kenken-python

A Kenken puzzle generator & solver

Language: Python - Size: 36.1 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 2

daniel-sinai/ai-final-project

Final Project in AI Course, HUJI

Language: Python - Size: 1.69 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - 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: 9 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

vocheretnyi/class-scheduling-csp

Solving Class Scheduling problem using the CSP method.

Language: C++ - Size: 287 KB - Last synced at: 10 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 1

MatinHosseinianFard/AI-projects

Artificial intelligence course projects

Language: Python - Size: 116 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 4 - 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

anthonytedja/sudoku

sudoku is an AI-powered CSP sudoku variant solver for all grid sizes

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

panagiotiskon/Time-Tabling-CSP

🗓 Exam Timetabling Problem

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

HannanI7/SudokuPuzzleSolver

Heuristic Approach to solution of Sudoku Puzzle

Language: Jupyter Notebook - Size: 4.88 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

tmos/sensei-sudoku

An AI for solving Sudoku. 🤖 ⚡️

Language: Python - Size: 22.5 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

aliazizii/Colored-sudoku-second-AI-project

second project at AUT Artificial Intelligence course (Fall 2020)

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

kunaal-gupta/Soduko-AC3-Constraint-Satisfaction

Solving Sudoku using constraint satisfaction - AC3, and MRV & FirstAvailable Algorithms for variable selection

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

kirilchikal/CSP

Implementing CSP with Forward Checking constraint propagation on the example of solving Binary and Futoshiki puzzle

Language: C# - Size: 310 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

geekn0rd/Sudoku-AI

Solving the sudoku as a CSP and heuristics like MRV and AC3

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

Christos-Kotsis/crossword-puzzle-solver

A program that has the ability to solve crossword puzzles and check whether a solution to a crossword puzzle is correct for any given puzzle and dictionary using FC and MRV heuristics

Language: C - Size: 137 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

alinourian/Artificial-Intelligence-Assignments

This repository contains the assignments of Artificial Intelligence course at Sharif University of Technology.

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

angusfung/numbrix-hidato-AI

AI for the game Numbrix and Hidato by means of modelling it as a constraint-satisfication problem using BT, FC, GAC with MRV heuristic.

Language: Python - Size: 319 KB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 2

zahrasalarian/CSP-Sudoku

CSP-Sudoku solver

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

shakibaam/Colored-sudoku

Language: Java - Size: 9.77 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

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: about 1 year ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

Mohamad-Jaallouk/Efficient-Sudoku-MRV-Backtracking

A fast Sudoku solver using Minimum Remaining Values heuristic and backtracking for an optimized solution approach.

Language: Python - Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - 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: almost 3 years ago - Stars: 2 - Forks: 0

marti1999/Crossword-Solver

Crossword solver using Backtracking with Forward Checking and MRV

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

noahfree/ai-sudoku-solver

This is a sudoku solver by doing backtracking search with forward checking using an MRV and degree heuristic. This was worked on in a group of myself and two other members.

Language: Python - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - 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: almost 4 years ago - Stars: 2 - Forks: 0

MohammadJavadArdestani/solve-sudoku-by-CSP

we slove sudoku tables as a CSP problem using Backtrack algorithm with forward Checking and MRV and Degree heuristics.

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

JoenHo/sudoku-solver

Solve Sudoku as a Constraint Satisfaction Problem

Language: Python - Size: 60.5 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

hamedrq7/Magnet-puzzle-as-a-CSP

This is a homework about Formulating a game called "Magnet Puzzle" into CSP, then using Backtracking, Forward Checking to solve it. Various heuristics such as MRV, LCV, Arc consistency (AC3) is used to improve the searching performance. This homework is a part of many projects in a Fundamentals to AI course @ FUM.

Language: Java - Size: 4.68 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

TrueSepehr/SudokuSolver

A program to solve Sudoku with Backtracking.

Language: Java - Size: 7.81 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

erfanghasemi/sudoku_solver

This project is a sudoku-solver implement by Constraint satisfaction problem. We add the colour option to our sudoku problem as if the number of a place is bigger than other neighbours, the colour of that place must be higher in a given colour's priority. We use the Constraint satisfaction problem(CSP), as we said before, in additional apply degree and MRV heuristic for selecting a variable. After we assigned a value to the selected variable, apply forward-checking to update the domain of variables. If there is a solution for the sudoku problem, we report it; otherwise, the search is unsuccessful, and we have not a solution.

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

scottfones/goqueens

Solving n-Queens to learn golang and constraint satisfaction problems

Language: Go - Size: 5.93 MB - Last synced at: 9 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ahsan-83/Sudoku

Simple Strategy Game Solution with Backtracking, Forward Checking, MRV and Value First heuristics

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

Krutash/Sudoku

Backtracking Algo optimized with forward checking, MRV heuristics, degree heuristics and LCV-heuristics

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

Rubix982/Robotiic

Robotiic is a Streamlit application for visualizing the results of genetic algorithms, showcasing eight queens with backtracking, and for the MCV / MRV heuristic. Inspired from "Artificial Intelligence: A Modern Approach 3rd Edition", by Stuart Russell, Peter Norvig

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

radinshayanfar/AI_Projects

AUT Principles and Applications of Artificial Intelligence course (Fall 2020) projects

Language: Java - Size: 5.43 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 7 - Forks: 0

bissessk/Futoshiki-Solver-using-Backtracking-and-Forward-Checking

This project solves a Futoshiki Board given an input files using the least number of moves. Backtracking, forward checking, the mrv heuristic, and the degree heuristic was used.

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

AliAbbasifard/Map-Coloring

CSP Map Coloring

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

sandeepkv93/CSE537-Artificial-Intelligence-Stonybrook-University

Homework Assignments for CSE 537 - Artificial Intelligence Spring 2018 in Stony Brook University under Prof. Niranjan Balasubramanian

Language: Python - Size: 849 KB - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

pomelo00o/SUDOKU-AI

Language: C++ - Size: 136 KB - Last synced at: 7 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

alinadirkhanloo/sudoku

solving sudoku problems with csp

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

NiloofarShahbaz/Sudoku-Csp

Solving Sudoku puzzle with CSP

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