backtracking-search

Logic programming, for Rust, from inside Rust.

Library for back tracking with customizable search for moves

Artificial Intelligence Course 3rd Project: Implementing CSP Backtracking, Forward Checking and MAC Algorithms in order to solve a binary puzzle

This repository contains generic platform for solving and benchmarking computational puzzles using different search strategies

Crosswords puzzle generator and publisher using Constraints Satisfaction Problem (CSP) technique. With minimal backtracks.

Example lecture for Constraint Satisfaction Problems in an interactive jupyter notebook. With python code to solve CSPs, with visualization of Sudoku and NQueens problems.

A backtracking algorithm for tiling the plane with Wang tiles

Samurai Sudoku solver in Python

Classic CSP Algorithms to solve RLFAP

⚔️ 🛡️ 🐲 A project based in Knowledge Base Representation and Logic Programming. This project was built using Prolog, with the support of SWISH and SWI-Prolog. The project it's a simple application to allow to make checks, verifications and queries, about some informations and data, of the TV Show Series of Game of Thrones, through a knowledge base representation, built with facts, predicates and rules, among many others!

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.

Contains my solution to selected projects in CS50AI

A Java program that uses DFS to generate all the possible patterns on a traditional 3x3 Android lock screen

Numerical Optimization library implementing Gradient Descent and Newton's method using backtracking line search for finding the minimum.

An agent that can solve Sudoku puzzles, following a backtracking search, using a combination of depth-first search and constraint propagation.

Algorithms to solve small mazes with prolog

Simple maze solving program with recursive backtracking and exhaustive searching

Web based visualisation of various search algorithms implemented in prolog for teaching

API to get maximum movies which an actor can sign without date conflicts using Flask and C++

This is a UI Sudoku Game And Solver that makes use of recursion and backtracking

Yet Another Sat solvER

Implementation of Peter Norvig's sudoku solving and backtracking algorithms in java.

A solution to a binary puzzle using CSP algorithms.

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

Solving maze & sudoku through CSP techniques.

Implementation of the Smith-Waterman string alignment algorithm, finding optimal alignments between proteins.

🎓 👨‍🎓 📚 A project based in Knowledge Base Representation and Logic Programming. This project was built using Prolog, with the support of SWISH and SWI-Prolog. The project it's a simple application to allow to make checks, verifications and queries, about some informations and data, of Faculty of Sciences and Technology of New University of Lisbon, through a knowledge base representation, built with facts, predicates and rules, among many others!

An application to solve the logic-based combinatorial game, sudoku.

A sudoku solver to solve any n*n puzzle.

Sudoku CSP Solver using Backtracking Search and Arc-Consistency 3