Ecosyste.ms: Repos

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

GitHub topics: constraint-satisfaction-problem

chocoteam/choco-solver

An open-source Java library for Constraint Programming

Language: Java - Size: 82.1 MB - Last synced: about 7 hours ago - Pushed: about 8 hours ago - Stars: 674 - Forks: 135

mahdianyoones/persian-ney-csp-solver

A custom CSP solver that helps design a woodwind musical instrument

Language: Python - Size: 602 KB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 0 - Forks: 0

AlexeyBond/godot-constraint-solving

WFC (Wave Function Collapse) and generic constraint satisfaction problem solver implementation for Godot 4

Language: GDScript - Size: 5.99 MB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 253 - Forks: 11

avihuxp/WaveFunctionCollapse

Implementation of the overlapping model of the Wave Function Collapse algorithm

Language: Python - Size: 38.8 MB - Last synced: 5 days ago - Pushed: 6 days ago - Stars: 105 - Forks: 6

xcsp3team/ACE

Constraint Solver ACE

Language: Java - Size: 83.3 MB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 23 - Forks: 5

denis-berthier/CSP-Rules-V2.1

A general pattern-based solver of finite Constraint Satisfaction problems

Language: CLIPS - Size: 88.4 MB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 14 - Forks: 2

seunAdeks/Coco

Implementation of a web based, browser independent system using a GUI to help automate scheduling of core courses

Language: Python - Size: 9.34 MB - Last synced: 13 days ago - Pushed: over 7 years ago - Stars: 1 - Forks: 1

Yashkapure06/Algorithms

Language: Python - Size: 9.77 KB - Last synced: 15 days ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

Fuco1/sudoku-cpp

Efficient propagating sudoku solver

Language: C++ - Size: 99.6 KB - Last synced: 15 days ago - Pushed: about 7 years ago - Stars: 1 - Forks: 1

PKU-Alignment/omnisafe

OmniSafe is an infrastructural framework for accelerating SafeRL research.

Language: Python - Size: 52.2 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 833 - Forks: 118

PKU-Alignment/safety-gymnasium

NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark

Language: Python - Size: 490 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 309 - Forks: 43

rf-/ingrid_core

Crossword-generating library and CLI tool

Language: Rust - Size: 1.94 MB - Last synced: 18 days ago - Pushed: 18 days ago - Stars: 19 - Forks: 1

AshishShenoy5103/MAZE-CSP

The project utilizes the backtracking algorithm to solve the CSP efficiently.

Language: Python - Size: 3.91 KB - Last synced: 17 days ago - Pushed: 18 days ago - Stars: 0 - Forks: 0

alex-87/qaekwy-python

Python Client library for Qaekwy Operational Research Solver

Language: Python - Size: 46.9 KB - Last synced: 18 days ago - Pushed: 18 days ago - Stars: 8 - Forks: 1

BruunAnd/genetic-scheduler

🏫 Scheduling of lectures on Aalborg University with a genetic algorithm.

Language: C - Size: 1.57 MB - Last synced: 22 days ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

tpaviot/ProcessScheduler

A Python package for automatic and optimized resource scheduling

Language: Jupyter Notebook - Size: 12 MB - Last synced: 19 days ago - Pushed: 3 months ago - Stars: 55 - Forks: 17

trngbro/AI

Research AI - Lecturer: Nguyen Thanh An

Language: Jupyter Notebook - Size: 26.3 MB - Last synced: 23 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

nayel71/sudoku

A Sudoku solver

Language: C - Size: 393 KB - Last synced: 23 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

mcaci/zebra-puzzle-example

A solution for the zebra puzzle in Go

Language: Go - Size: 3.91 KB - Last synced: 29 days ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

54nd339/Algorithms

An introduction to different algorithmic approach

Language: C - Size: 242 KB - Last synced: 30 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

python-constraint/python-constraint

Constraint Solving Problem resolver for Python

Language: Python - Size: 3.74 MB - Last synced: 20 days ago - Pushed: 4 months ago - Stars: 402 - Forks: 63

xcsp3team/PyCSP3

A Python Library for modeling combinatorial constrained problems

Language: Python - Size: 204 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 56 - Forks: 7

xcsp3team/cosoco

COmpact SOlver for COnstrained problems

Language: C++ - Size: 722 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 11 - Forks: 2

madvorak/vcsp

General-Valued Constraint Satisfaction Problems — playground for experiments preceding my contribution to Mathlib

Language: Lean - Size: 492 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 2 - Forks: 0

maneeshaindrachapa/Time-Table-Assign-CSP

Simple time table generator according to the data given, modelling as constraint satisfaction problem

Language: Python - Size: 6.84 KB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 4 - Forks: 4

luhoangtan2003/Sudoku

Language: Python - Size: 10.7 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

xcsp3team/PyCSP3-models

Models (and data) of constrained problems developped with the library PyCSP3

Language: Python - Size: 15.7 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 6 - Forks: 0

mahdavipanah/SudokuPyCSF

Solve Sudoku with Python using the CSF approach

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

PKU-Alignment/SafeDreamer

ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models

Language: Python - Size: 2.36 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 22 - Forks: 0

luhanzhen/RuCos

RuCos is an extremely high-performance parallel constraint solver implemented by Rust.

Language: Rust - Size: 248 KB - Last synced: 22 days ago - Pushed: about 1 month ago - Stars: 1 - Forks: 0

sidnand/Optimization-Exploratorium

Collection of topics relating to mathematical optimization

Language: Jupyter Notebook - Size: 4.01 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

huaminghuangtw/Parallel-Sudoku-Solver

🔢 A parallelized Sudoku solver implemented with various solving algorithms in C++.

Language: C++ - Size: 3.83 MB - Last synced: 15 days ago - Pushed: over 2 years ago - Stars: 8 - Forks: 5

xoolive/facile

Python constraint programming library

Language: OCaml - Size: 351 KB - Last synced: 19 days ago - Pushed: about 2 months ago - Stars: 22 - Forks: 6

Gecode/gecode

Generic Constraint Development Environment

Language: C++ - Size: 28.4 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 259 - Forks: 72

fabiancannaheim/sudoku

Sudoko Solver as CSP

Language: Python - Size: 12.7 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

jcaip/constraint_solver

Python module that solves constraint problems

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

ramisa2108/CSE-318-Artificial-Intelligence-Sessional

Assignments completed for Artificial Intelligence Course

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

yuxiangdai/heuristic_graph_search

Language: Python - Size: 6.84 KB - Last synced: 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

AlexandruValeanu/Constraint-satisfaction-problems-using-or-tools

Collection of puzzles transformed into constraint satisfaction problems (CSPs) and solved using Google's or-tools

Language: Python - Size: 28.3 KB - Last synced: 2 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 1

ASK1995/Artificial-Intelligence

CS 531 Course Assignments + Projects at OSU

Language: Python - Size: 1.32 MB - Last synced: 2 months ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

xgillard/ddo

DDO a generic and efficient framework for MDD-based optimization.

Language: Rust - Size: 15.5 MB - Last synced: 23 days ago - Pushed: 3 months ago - Stars: 53 - Forks: 4

KayvanShah1/usc-dsci599-otds-fall23

USC DSCI 599 - Optimization Techniques for Data Science - Fall 2023 - Prof. Satish Thittamaranahalli Ka

Size: 2.02 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

laurabondor/ArtificialIntelligence

Assignments completed during the Artificial Intelligence course.

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

afshinea/stanford-cs-221-artificial-intelligence

VIP cheatsheets for Stanford's CS 221 Artificial Intelligence

Size: 10.1 MB - Last synced: 3 months ago - Pushed: over 4 years ago - Stars: 2,394 - Forks: 468

hyperc-ai/ordered

Entropy-controlled contexts in Python

Language: Python - Size: 120 KB - Last synced: 19 days ago - Pushed: over 2 years ago - Stars: 39 - Forks: 3

Jesse-Cooper/sudokuSolver

Provides a demonstration of a constraint satisfaction problem to solve Sudoku.

Language: Prolog - Size: 3.91 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

crillab/gophersat

gophersat, a SAT solver in Go

Language: Go - Size: 18.3 MB - Last synced: 3 months ago - Pushed: 4 months ago - Stars: 355 - Forks: 24

marvk/sigmarsgarden

Opus Magnum's Sigmar's Garden Autosolver, using OpenCV Template Matching

Language: Java - Size: 216 KB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

adamnelsonarcher/Solving-Constraint-Satisfaction-Problem

Made for COSC4368 initally, modified the program to be general-solution and work with any domain or constraint set provided. Obviously the program would need to be optimized if a highly efficient algorithm is needed for a set of constraints.

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

prithkalai/Graph_Coloring_Problem-CSP

Implementation of an algorithm using MRV, LCV and AC-3 Algorithm to solve graph colouring problem. ( CSP )

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

mostafa-mahmoud/djenerator

A simple django tool for generating random/customized test data for django model descriptions!

Language: Python - Size: 246 KB - Last synced: 3 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

lifebeyondfife/Decider

An Open Source .Net Constraint Programming Solver

Language: C# - Size: 248 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 140 - Forks: 21

sorodocosmin/artificial-intelligence

Assignments completed during the Artificial Intelligence course

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

IlyaKhalafi/AI-Assignments

My assignments for homework of AI course at Amirkabir University of Technology

Language: Jupyter Notebook - Size: 2.92 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

asif-shahriar11/Artificial-Intelligence

Using artificial intelligence (A* search, Local Search, Contraint Satisfaction, Knowledge Engineering) to solve real-life problems.

Language: Java - Size: 12.2 MB - Last synced: about 1 month ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

ceenaa/shortest_path

Shortest path algorithm instruction

Language: Jupyter Notebook - Size: 5.41 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

Hoda233/Machine-Intelligence-Labs

Solutions for "Machine Intelligence" course labs

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

MauroDiNuzzo/clpfba

Constraint Logic Programming for Flux Balance Analysis

Language: Prolog - Size: 109 MB - Last synced: 4 months ago - Pushed: 4 months 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: 4 months ago - Pushed: about 3 years ago - Stars: 4 - Forks: 0

levitation-opensource/ai-safety-gridworlds Fork of google-deepmind/ai-safety-gridworlds

Extended, multi-agent and multi-objective environments based on DeepMind's AI Safety Gridworlds. This is a suite of reinforcement learning environments illustrating various safety properties of intelligent agents. It is made compatible with OpenAI's Gym/Gymnasium and Farama Foundation PettingZoo.

Language: Python - Size: 1.26 MB - Last synced: 4 months ago - Pushed: 5 months ago - Stars: 6 - Forks: 0

pvigier/room_generator

A Room Generator based on a CSP Solver

Language: C++ - Size: 11.7 KB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 6 - Forks: 0

andre1araujo/CSP-for-School-Timetables

This repository hosts a Jupyter Notebook on which a Constraint Satisfaction Problem is used to solve a specific Scheduling Problem. Here the algorithm helps the used construct a school timetable based on specific restrictions. Every code block is followed by an explanation!

Language: Jupyter Notebook - Size: 1.38 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

thtran97/max-flow-min-cost-algo

INSA 4IR- OCaml Project - Graph & Constraint Programming

Language: OCaml - Size: 171 KB - Last synced: 4 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

richoux/GHOST_C_sharp

GHOST (General meta-Heuristic Optimization Solving Tool) is a C# library designed to solve combinatorial satisfaction and optimization problems within some tenth of milliseconds.

Language: C# - Size: 4.06 MB - Last synced: 29 days ago - Pushed: over 7 years ago - Stars: 6 - Forks: 2

ChufanSuki/Pacman

Distributed Constraint Optimization Problems Solver

Language: Python - Size: 3.45 MB - Last synced: 4 months ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 2

andre1araujo/Fundamentals-of-Artificial-Intelligence

Fundamental algorithms of Artificial Intelligence are presented here. There is a example of a scheduling problem solved with a CSP and then there are some Machine Learning methods applied to realistic problems.

Language: Jupyter Notebook - Size: 2.12 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 1

davecom/ClassicComputerScienceProblemsInSwift

Source Code for the Book Classic Computer Science Problems in Swift

Language: Swift - Size: 109 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 184 - Forks: 41

ML-KULeuven/ocus-explain

Efficient Explaining CSPs with Unsatisfiable Subset Optimization

Language: Jupyter Notebook - Size: 1.28 MB - Last synced: about 2 months ago - Pushed: 5 months ago - Stars: 3 - Forks: 0

Lima001/BCC-Inteligencia-Artificial

Repositório destinado ao armazenamento e compartilhamento de códigos desenvolvidos na disciplina de Inteligência Artificial do Curso de Bacharelado em Ciências da Computação.

Language: C++ - Size: 31.7 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

yunyicheng/ConstraintSatisfaction

An AI CSP(Constraint Satisfaction Problem) solver for FunPuzz puzzles.

Language: Python - Size: 201 KB - Last synced: 19 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

mjaglan/AI-Foundations

Problem Solving With AI Approaches: Heuristic Searches, Statistical Classifications

Language: Python - Size: 94.9 MB - Last synced: 4 months ago - Pushed: about 6 years ago - Stars: 3 - Forks: 1

JohnWill14/n-queen-problem

problema n-rainhas usando técnicas de satisfação de restrições

Language: Java - Size: 2.03 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

gnboorse/centipede

Constraint Satisfaction Problem Solver for Golang

Language: Go - Size: 805 KB - Last synced: 3 months ago - Pushed: almost 2 years ago - Stars: 51 - Forks: 10

dwave-examples/job-shop-scheduling

Determine a schedule for running a set of jobs.

Language: Python - Size: 65.4 KB - Last synced: 4 months ago - Pushed: 7 months ago - Stars: 42 - Forks: 31

PriorLax123/Propositional_Logic

This Project shows an understanding of Propositional Logic, Conjunctive Normal Form, and The Resolution Refutation Method.

Language: Java - Size: 18.6 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

ikeratzakis/artificial-intelligence

Demonstration of traditional artificial intelligence problems and techniques (genetic algorithms, constraint satisfaction e.t.c)

Language: Python - Size: 33.2 KB - Last synced: 5 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

brandondionisio/Constraint-Satisfaction-Sudoku-Solver

Implementation of a Sudoku puzzle solver using a Constraint Satisfaction Problems approach that can calculate the easy, evil, and custom puzzles.

Language: Python - Size: 3.91 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

richoux/GHOST

General meta-Heuristic Optimization Solving Toolkit

Language: C++ - Size: 28.5 MB - Last synced: 29 days ago - Pushed: 2 months ago - Stars: 35 - Forks: 4

kataklinger/fword

Algorithm for construction crossword puzzles implemented in F#

Language: F# - Size: 454 KB - Last synced: 5 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

davecom/SwiftCSP

A Constraint Satisfaction Problem Solver in Pure Swift

Language: Swift - Size: 148 KB - Last synced: 11 days ago - Pushed: over 1 year ago - Stars: 79 - Forks: 11

malavpanda/SudokuSolver

Implementation of various CSP algorithms to solve sudoku puzzles.

Language: Java - Size: 612 KB - Last synced: 5 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

urvishjarvis1/constraintsatisfaction

Language: Java - Size: 36.1 KB - Last synced: 5 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

kdblocher/bridge

Contract bridge system analysis tool for making the most out of your system book.

Language: TypeScript - Size: 53.8 MB - Last synced: 15 days ago - Pushed: about 2 months ago - Stars: 3 - Forks: 2

GeorgeMC2610/Artificial-Intelligence

CSP Solver made in Windows Forms (C# .NET Framework).

Language: C# - Size: 3 MB - Last synced: 4 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

irfanalmsyah/csp-crossword

Implementasi Penyelesaian Permainan Teka-teki Silang dengan Pendekatan Constraint Satisfaction Problem

Language: Python - Size: 3.88 MB - Last synced: 18 days ago - Pushed: 5 months ago - Stars: 0 - Forks: 1

syntnc/Artificial-Intelligence

IIIT Allahabad B. Tech. (IT) 5th Semester Artificial Intelligence Lab Assignments + HackerRank Artificial Intelligence Track

Language: Python - Size: 112 KB - Last synced: 26 days ago - Pushed: almost 6 years ago - Stars: 32 - Forks: 25

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: 6 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

zarif98sjs/CSE-318-Artificial-Intelligence

CSE 318 Artificial Intelligence Sessional (L3/T2)

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

duongtruongbinh/Cryptarithmetic-Problem

Cryptarithmetic Problem Solving using CSP

Language: Python - Size: 63.5 KB - Last synced: 2 months ago - Pushed: 9 months ago - Stars: 1 - Forks: 0

gadgil-devashri/csp-map-coloring

This code was submitted as programming project two for ITCS 6150 Intelligent Systems under Dr. Dewan Ahmad at the University of North Carolina at Charlotte for the fall 2021 semester. The aim is to solve the constraint satisfaction problem of map coloring for the USA and Australia.

Language: Python - Size: 51.5 MB - Last synced: 6 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 3

le-n-qui/constraints-verifying-solver

The solver finds a solution to the problem given the constraints. No solution may be found if all the constraints are not satisfied.

Language: Python - Size: 43 KB - Last synced: 6 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

aravindsomaraj/aiproject-pacman

An Artificial Intelligence Project based on UC Berkeley's Pacman AI course

Language: Python - Size: 617 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 1

buffos/aind_projects

projects for Udacity's AI nanodegree

Language: Python - Size: 998 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

damiano00/T_768_SMAI_Informed_Search_Methods_in_AI

Assignments given during the course Informed Search Methods in AI in Reykjavik University, during the Double Degree study period.

Size: 437 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

dwave-examples/factoring-notebook

Factor numbers using a quantum computer.

Language: Jupyter Notebook - Size: 245 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 7 - Forks: 20

dwave-examples/cryptarithmetic

Solve cryptarithmetic addition puzzles using the LeapHybridCQMSampler.

Language: Python - Size: 120 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 7 - Forks: 11

alvaroqsaldanha/Multi-Agent-PathFinding-w-CSP

Implementation of multi-agent constraint satisfaction problem (specified in the README), that finds its optimal solution using MiniZinc Python.

Language: Python - Size: 81.1 KB - Last synced: 7 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

dwave-examples/circuit-fault-diagnosis

Find possible failing components on a circuit.

Language: Python - Size: 104 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 25 - Forks: 29

edaaydinea/CSMM101X-Artificial-Intelligence

This repository includes the projects of the CSMM101X - Artificial Intelligence course offered by Columbia University.

Language: Python - Size: 108 KB - Last synced: 7 months ago - Pushed: over 1 year ago - Stars: 4 - Forks: 2

nirjarigandhi/Tetris-Constraint-Solving

Language: Python - Size: 191 KB - Last synced: 7 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 1

Related Keywords
constraint-satisfaction-problem 338 artificial-intelligence 89 python 60 csp 49 constraint-programming 44 sudoku-solver 39 ai 35 backtracking 30 sudoku 28 optimization 23 solver 20 constraints 19 forward-checking 19 java 19 backtracking-algorithm 18 genetic-algorithm 15 constraint-solver 14 python3 14 reinforcement-learning 12 machine-learning 12 csp-solver 12 mrv-heuristic 11 arc-consistency 11 alpha-beta-pruning 11 a-star-search 9 backtracking-search 8 depth-first-search 8 scheduling 8 bqm 8 beginner 8 cpp 8 hybrid-solution 7 n-queens 7 intermediate 7 choco-solver 7 minimax-algorithm 7 constrained-optimization 7 astar-algorithm 7 logic-programming 6 heuristics 6 sat-solver 6 search 6 prolog 6 jupyter-notebook 6 constraint-propagation 6 puzzle 6 xcsp3 6 minizinc 6 futoshiki 6 constraint-optimisation-problem 6 algorithm 5 crossword 5 functional-programming 5 decision-trees 5 constraint-based-modeling 5 dfs 5 markov-decision-processes 5 game 5 q-learning 5 neural-networks 5 degree-heuristic 5 algorithms 5 minimum-remaining-values 5 search-algorithm 5 deep-learning 5 constraint-satisfaction 5 library 4 game-theory 4 planning 4 satisfiability 4 genetic-algorithms 4 local-search 4 combinatorial-optimization 4 computer-science 4 searching-algorithms 4 neural-network 4 c 4 bfs 4 adversarial-search 4 scheduling-problem 4 exam-scheduler 4 code 4 puzzle-solver 4 bfs-algorithm 4 simulated-annealing 4 dfs-algorithm 4 udacity 4 aind 4 uniform-cost-search 4 modeling 4 good-first-example 4 rust 4 breadth-first-search 4 machine-learning-algorithms 3 pddl 3 optimization-algorithms 3 a-star 3 minesweeper 3 ant-colony-optimization 3 memetic-algorithms 3