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

Nonlinear optimization solving with multiple Python libraries

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

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

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

Contains my solution to selected projects in CS50AI

Samurai Sudoku solver in Python

MIRROR of https://codeberg.org/catseye/Backtracking-Wang-Tiler : A backtracking algorithm for tiling the plane with Wang tiles

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

Algorithms to solve small mazes with prolog

Sudoku CSP Solver using Backtracking Search and Arc-Consistency 3

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

⚔️ 🛡️ 🐲 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 ba…

Classic CSP Algorithms to solve RLFAP

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

Yet Another Sat solvER

Backtracking

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