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

GitHub topics: backtracking-search

sp-muramutsa/sudoku

AI Sudoku Solver implemented by formulating the puzzle as a Constraint Satisfaction Problem (CSP). Uses AC3 to reduce variable domains and Backtracking Search for solution finding.

Language: Python - Size: 0 Bytes - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 0 - Forks: 0

DidierFlamm/aigames

A Python framework to build solo or multiplayer perfect-information games, and design solvers or AI bots using algorithms like Backtracking, Pathfinding, Minimax, MCTS, or Neural Networks.

Language: Python - Size: 27.3 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0

dsha256/dispatcher

A service that reconstructs a valid flight itinerary from a list of airline tickets.

Language: Go - Size: 14.6 KB - Last synced at: 15 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

advancedresearch/quickbacktrack

Library for backtracking with customizable search for moves

Language: Rust - Size: 48.8 KB - Last synced at: 29 days ago - Pushed at: 2 months ago - Stars: 23 - Forks: 0

AbdulAHAD968/Tele-Word-Game-in-c-

Search the words combination in an NxN grid untill all the word in the provided list are over and you are finally left with a TeleWord, found by traversing across matrix row by row.

Language: C++ - Size: 27.3 KB - Last synced at: 23 days ago - Pushed at: 8 months ago - Stars: 6 - Forks: 0

Pit1000/optimization-problems

🚀 A Python repository showcasing optimization techniques for Machine Learning including LP, Newton's methods, LASSO, and convex optimization. 📈🐍

Language: Python - Size: 303 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

pjritee/pl_search_cpp

A C++ module that uses Prolog ideas for search and constraint programming

Language: C++ - Size: 3.28 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

pjritee/pl_search

A Python module that uses Prolog ideas for search and constraint programming

Language: Python - Size: 208 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

AhmadYahya97/CrosswordsGeneration

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

Language: Java - Size: 7.46 MB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 18 - Forks: 5

ajay-dhangar/backtracking

Backtracking

Language: HTML - Size: 253 KB - Last synced at: about 4 hours ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

ishaanSh06/n-queens

The shortest way solution to the n-queens question | 8x8 board

Language: HTML - Size: 29.3 KB - Last synced at: 6 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

pl3onasm/Square-sum-problem

Language: Python - Size: 11.7 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

srodsanz/robot-movement

Backtracking algorithm to solve matrix search on classical algorithmic problems

Language: Java - Size: 64.5 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

andrewmarston21/sudoku

Personal Project

Language: Python - Size: 59.6 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

jmdha/sudokubrute

A simple and fast implementation of backtrack solving of Sudokus

Language: Rust - Size: 38.1 KB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 1 - 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

sdleffler/whisper

Logic programming, for Rust, from inside Rust.

Language: Rust - Size: 302 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 39 - Forks: 1

MarwanMohammed2500/Sudoku-Solver

This is a script that can solve any sudoku puzzle you provide it, or you can simply ask it to generate one and solve it by itself

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

Koukyosyumei/MyOptimizer

Implementations of popular optimization & search algorithms

Language: C++ - Size: 357 KB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

bryanlimy/samurai-sudoku-solver

Samurai Sudoku solver in Python

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

sanjaymurali/sudoku-solver

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

AlexandruValeanu/MSSJ

Magic Squares Solver in Java

Language: Java - Size: 27.3 KB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

JuanSamuelArbelaez/Empresa

Programa que crea una estructura y recorre estrucutras de arbol, empleando recursividad. Ejercicio propuesto en el espacio académico de Estructura de Datos en el programa de Ing de Sistemas y Computación (2023-1), en la U del Quindio. Orientado por Robinson Arias Muñoz.

Language: Java - Size: 35.2 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

rishi1999/CS-411-P1

Sudoku solver

Language: Jupyter Notebook - Size: 131 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

biqar/puzzle-solver

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

Language: C++ - Size: 3.17 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 15 - Forks: 3

marcluque/YASER

Yet Another Sat solvER

Language: C - Size: 23.9 MB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 4 - Forks: 0

MartinGurasvili/Sudoku

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

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

EnesBaserr/Knight-s-Tour-Las-Vegas-Algorithm

Knight's Tour Las Vegas Algorithm with different approaches.

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

shubhanginaik/ratinamaze

Finds path in a maze by using data structures backtracking algorithm

Language: JavaScript - Size: 829 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

PapauloMP/Metodos-de-busca-IA

Métodos de buscas empregados para resolução do problema da travessia dos pinguins

Language: C++ - Size: 4.95 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

catseye/Backtracking-Wang-Tiler

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

Language: JavaScript - Size: 43.9 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0

carminecolucci/Sudoku-Pygame

Classic Sudoku game written in python with pygame library. It uses backtracking algorithm to solve the puzzle.

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

akshaybahadur21/StringRecognitionUsingBacktracking

Find the occurrence of a word in a given matrix using backtracking for humans 🔎

Language: Java - Size: 18.6 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

Amirhossein-Rajabpour/Constraint-Satisfaction-Problems

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

Language: Python - Size: 718 KB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 20 - Forks: 2

dangitstam/Sequence_Alignment

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

Language: Python - Size: 6.84 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

VissaMoutafis/RLFAP-Solver

Classic CSP Algorithms to solve RLFAP

Language: Python - Size: 214 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0

rubenandrebarreiro/game-of-thrones-knowledge-base-representation-checker

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

Language: Prolog - Size: 5.51 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 1

rubenandrebarreiro/fct-nova-knowledge-base-representation-checker

🎓 👨‍🎓 📚 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!

Language: Prolog - Size: 2.48 MB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

jgurakuqi/search-based-sudoku-solver

This project aims to show how to solve a given Sudoku in two different ways, through Backtracking (in a flavour of Forward Checking) and Relaxation Labeling.

Language: C++ - Size: 75.2 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

arielfayol37/Crossword

AI that generates crosswords puzzles using Backtracking Search algorithm.

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

ce-box/CE2103-Queens-Problem

CE2103 | Extra clase #4 | Implementación de la solución al algoritmo de las N Reinas, utilizando Backtracking y mostrándo el proceso mediante hardware.

Language: C++ - Size: 161 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

ce-box/CE2103-Gladiators-GBP Fork of juan230500/Server_P2_DatosII

Proyecto II | Algoritmos y Estructuras de Datos II [CE2103] | SERVIDOR | Cliente: https://github.com/juan230500/Cliente_P2_DatosII

Language: HTML - Size: 4.34 MB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

asrinoztin/map_coloring_with_backtracking

This repository includes a study that aims to handle the map coloring problem with backtracking paradigm. Detailed info in ReadMe

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

zaqbez39me/Heuristic-algorithms

Pirates of the Caribbean: Dead Man's Chest Solver A repository containing a solution to help Captain Jack Sparrow find the dead man's chest, which holds the heart of Davy Jones. This project implements two heuristic algorithms, A* and DFS with backtracking, to navigate the challenges faced by Jack Sparrow while sailing in the Caribbean Sea.

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

RodneyShag/WordPuzzleSolver

Solves word puzzles using backtracking search

Language: Java - Size: 633 KB - Last synced at: 3 months ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 6

ToniRV/Constraint-Satisfaction-Notebook

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

Language: Jupyter Notebook - Size: 5.27 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 14 - Forks: 3

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

sg2295/Sudoku-Solver

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

Language: Python - Size: 12.6 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

fardinanam/CSE318-AI-Sessional

Contains all the assignments of the course CSE-318 offered in CSE, BUET

Language: Java - Size: 15.2 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

donovan-prehn/sudoku

Sudoku CSP Solver using Backtracking Search and Arc-Consistency 3

Language: Python - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 1

marcelcases/nonlinear-optimization

Nonlinear optimization solving with multiple Python libraries

Language: Python - Size: 1.4 MB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 8 - Forks: 2

BaseMax/SubSetSumBacktracking

This is an implementation of the Sub Set Sum Backtracking algorithm in C. The algorithm is used to find a subset of a given set of numbers that adds up to a given sum. The algorithm is implemented using backtracking.

Language: C - Size: 21.5 KB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

empobla/SudokuSolver

A Sudoku puzzle solver that, with the use of constraint propagation and backtracking search, can solve any Sudoku puzzle, including Arto Inkala’s world’s hardest Sudoku puzzle, in under 1 second.

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

Amable-Valdes/Prolog-Mazes

Algorithms to solve small mazes with prolog

Language: Jupyter Notebook - Size: 303 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 1

faisalkhan91/Backtracking-Search

This is a program to solve a 6x6 sudoko grid using backtracking search.

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

BaseMax/NQueensPromisingC

This is a promising implementation of the n-Queens problem in C. It uses a recursive backtracking algorithm to find all solutions to the n-Queens problem. It is a promising implementation because it uses a heuristic to prune the search tree. The heuristic is to only place a queen in a column if it is not in check with any other queens.

Language: C - Size: 29.3 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Rajil1213/cs50AI

Contains my solution to selected projects in CS50AI

Language: Python - Size: 21.8 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 6

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

Sheraff/tiled-wave-function-collapse

Language: JavaScript - Size: 5.3 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

SergeyChelak/synacor_challenge

Completed Synacor Challenge

Language: Rust - Size: 107 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Ishad-M-I-M/CSP-TimeTabling

Assign lecture halls considering the constraints

Language: Python - Size: 5.75 MB - Last synced at: over 1 year 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: over 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - 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

Sheraff/ascii-wave-function-collapse

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

marcelcases/pattern-recognition-neural-network

A Single Layer Neural Network to recognize digits making use of unconstrained, non-linear optimization

Language: MATLAB - Size: 142 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

luizsci42/Organizador-de-Horarios-AIMA-PSR

Language: Java - Size: 660 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

Bishalsarang/N-Queens-Visualisation

Simple Visualisation of NQueens using C++ and OpenGL

Language: C++ - Size: 310 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

MediaBilly/Any-Dimension-Sudoku-Solver

A sudoku solver to solve any n*n puzzle.

Language: C - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

NH0/CSP_solver

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

Language: C++ - Size: 145 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

black-fractal/n-queens

A python script to solve the general n-queens problem of placing n non-attacking queens on an n×n chessboard

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

willprice/prolog-search-visualisation

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

Language: JavaScript - Size: 471 KB - Last synced at: 1 day ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 1

JuanAArias/Maze-cplusplus

Simple maze solving program with recursive backtracking and exhaustive searching

Language: C++ - Size: 11.7 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

selimfirat/ai-maze-sudoku-solver

Solving maze & sudoku through CSP techniques.

Language: C++ - Size: 9.77 KB - Last synced at: 7 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

daviddl9/sudoku-solver

Python Sudoku AI

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

Anirudh-Muthukumar/Top-20-Backtracking-Algorithms

Top backtracking algorithms using python.

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

Mexator/Orcs-vs-Humans-rugby

Assignment on Introduction to AI, Innopolis, Spring 2020

Language: Prolog - Size: 190 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

being-aerys/Algorithms_Design_Complexity_Analysis

Language: Python - Size: 1.28 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

riadafridishibly/sudoku-solver

A recursive implementation of 9x9 sudoku solver in C. Uses simple backtracking.

Language: C - Size: 1.95 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

jskrable/ai-tests

sample programs created for work in CS664 Artificial Intelligence

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

reedHam/Sudoku-AI

AI that uses backtracking to solve a 9 X 9 Sudoku puzzle written in JavaScript.

Language: JavaScript - Size: 33.2 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

bharatr21/SudokuSolver

A Sudoku Solver in C++

Language: C++ - Size: 2.93 KB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

shah-deven/Golomb-Ruler

Golomb Ruler using Constraint Satisfaction Problem

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

luizfranca/n-queens-solution

A solution to N Queens problem using backtracking

Language: C - Size: 0 Bytes - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SamriddhiJain/AI-CSP

Artificial Intelligence: Constraint Satisfaction Problems

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

saikiran03/sudoku-solver

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

Language: C++ - Size: 41 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0

Related Keywords
backtracking-search 86 backtracking-algorithm 32 backtracking 31 sudoku-solver 17 csp 15 artificial-intelligence 13 sudoku 13 python 11 forward-checking 10 constraint-satisfaction-problem 9 ai 8 algorithms 8 prolog 7 depth-first-search 7 algorithm 6 recursion 5 java 5 cpp 5 mrv-heuristic 5 solver 4 nqueens 4 degree-heuristic 4 arc-consistency 4 sudoku-puzzle 4 csp-solver 4 backtracking-questions 3 rust 3 c 3 backtracking-methods 3 constraint-programming 3 logic-programming 3 astar-algorithm 3 nqueens-problem 3 n-queens 3 maze-solver 3 programming 3 logic 3 python3 3 breadth-first-search 3 minimax-algorithm 3 ac3 3 dynamic-programming 3 backtracking-tree 2 rules 2 science 2 n-queens-problem 2 verification-programming 2 constraint-propagation 2 graph 2 queens-problem 2 astar-search 2 sudoku-game 2 pathfinding-algorithm 2 puzzle 2 neural-network 2 gradient-descent 2 recursive-algorithm 2 wave-function-collapse 2 procedural-generation 2 8-puzzle 2 tree 2 map-coloring 2 cvxpy 2 check-programming 2 computer 2 data 2 engineering 2 facts 2 scipy 2 constraint-logic-programming 2 convex-optimization 2 info 2 informatics 2 knowledge-base 2 pygame 2 predicates 2 knowledge-representation 2 crossword-puzzle 2 crossword-generator 2 query-programming 2 backtracking-tech-interview 2 gameofthrones 1 data-structures-and-algorithms 1 fctnova 1 lookahead-methods 1 datastructure 1 ds 1 laberinto 1 sub-set-sum 1 subsetsum 1 laberint 1 golomb-ruler 1 bruteforce 1 sum 1 sum-algorithm 1 brute-force-search 1 constraint-propagation-algorithm 1 brute-force 1 rlfap 1 brute-force-algorithm 1