Logic programming, for Rust, from inside Rust.
-
Updated
Mar 6, 2020 - Rust
#
backtracking-search
Here are 93 public repositories matching this topic...
Nonlinear optimization solving with multiple Python libraries
-
Updated
Apr 11, 2021 - Python
Library for back tracking with customizable search for moves
-
Updated
Sep 21, 2022 - Rust
Artificial Intelligence Course 3rd Project: Implementing CSP Backtracking, Forward Checking and MAC Algorithms in order to solve a binary puzzle
-
Updated
Jul 24, 2021 - Python
Crosswords puzzle generator and publisher using Constraints Satisfaction Problem (CSP) technique. With minimal backtracks.
fast csp artificial-intelligence robust-optimization backtracking-search crossword-puzzle constraints-solver-algorithm crossword-generator american-style british-style
-
Updated
Mar 29, 2019 - Java
This repository contains generic platform for solving and benchmarking computational puzzles using different search strategies
csp algorithm puzzle-game hill-climbing-search backtracking-search 8-puzzle graph-coloring puzzle-solver forward-checking search-strategies 8-puzzle-solver map-coloring heuristic-functions uninformed-search n-queens-problem problem-solving-techniques n-queen 8-queens-problem solving-puzzles
-
Updated
Oct 31, 2021 - C++
Example lecture for Constraint Satisfaction Problems in an interactive jupyter notebook. With python code to solve CSPs, with visualization of Sudoku and NQueens problems.
-
Updated
Dec 7, 2018 - Jupyter Notebook
Contains my solution to selected projects in CS50AI
natural-language-processing reinforcement-learning ai pagerank-algorithm tf-idf backtracking-search minimax-algorithm grammar-parser symbolic-logic
-
Updated
Feb 20, 2021 - Python
Samurai Sudoku solver in Python
-
Updated
Oct 12, 2016 - Python
MIRROR of https://codeberg.org/catseye/Backtracking-Wang-Tiler : A backtracking algorithm for tiling the plane with Wang tiles
-
Updated
Dec 28, 2021 - JavaScript
This is a UI Sudoku Game And Solver that makes use of recursion and backtracking
python recursion backtracking sudoku-solver tkinter sudoku-puzzle sudoku recursive recursive-algorithm sudoku-game sudoku-generator backtracking-search backtracking-algorithm sudoku-checker tkinter-gui tkinter-python sudoku-solution-finder tkinter-game
-
Updated
Nov 20, 2022 - Python
Algorithms to solve small mazes with prolog
prolog bruteforce backtracking brute-force mazes backtracking-search maze-solver backtracking-algorithm laberinto brute-force-search brute-force-algorithm prolog-application laberint
-
Updated
Dec 22, 2019 - Jupyter Notebook
Sudoku CSP Solver using Backtracking Search and Arc-Consistency 3
constraint-satisfaction-problem artificial-intelligence sudoku-solver ac3 backtracking-search arc-consistency
-
Updated
Dec 12, 2017 - Python
Artificial Intelligence Course 3rd Project: Implementing CSP Backtracking, Forward Checking and MAC Algorithms in order to solve a binary puzzle
csp constraint-satisfaction-problem backtracking-search forward-checking mac-algorithm backtracking-algorithms
-
Updated
Jul 24, 2021 - Python
Classic CSP Algorithms to solve RLFAP
-
Updated
Feb 20, 2021 - Python
⚔️ 🛡️ 🐲 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…
rules science engineering data programming logic prolog computer facts informatics logic-programming info predicates knowledge-base backtracking-search knowledge-representation gameofthrones check-programming verification-programming query-programming
-
Updated
May 20, 2023 - Prolog
Yet Another Sat solvER
conflict-resolution solver first-order-logic satisfiability-modulo-theories sat-solver cdcl-algorithm propositional-logic smt smt-solver formal-verification sat backtracking-search resolution-proof satisfiability dpll-algorithm propositional-resolution conflict-based-search conflict-driven-clause-learning dpll-solver theory-solver
-
Updated
Jan 3, 2024 - C
A Java program that uses DFS to generate all the possible patterns on a traditional 3x3 Android lock screen
android pattern backtracking dfs lockscreen depth-first-search backtracking-search dfs-algorithm backtracking-algorithm backtrack
-
Updated
Aug 9, 2020 - Java
AI that generates crosswords puzzles using Backtracking Search algorithm.
-
Updated
Jul 25, 2023 - Python
Numerical Optimization library implementing Gradient Descent and Newton's method using backtracking line search for finding the minimum.
derivative gradient gradient-descent hessian backtracking-search convex-optimization newtons-method matrix-inverse
-
Updated
Dec 30, 2020 - C++
Improve this page
Add a description, image, and links to the backtracking-search topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the backtracking-search topic, visit your repo's landing page and select "manage topics."