constraint-satisfaction-problem

There are 16 repositories under constraint-satisfaction-problem topic.

afshinea / stanford-cs-221-artificial-intelligence
VIP cheatsheets for Stanford's CS 221 Artificial Intelligence
a-star artificial-intelligence bayesian-networks cheatsheet constraint-satisfaction-problem data-science markov-decision-processes
2413
omnisafe
PKU-Alignment / omnisafe
OmniSafe is an infrastructural framework for accelerating SafeRL research.
benchmark pytorch safe-reinforcement-learning deep-reinforcement-learning reinforcement-learning machine-learning constraint-rl constraint-satisfaction-problem deep-learning safe-rl saferl safety-critical safety-gym safety-gymnasium
Language:Python 837
chocoteam / choco-solver
An open-source Java library for Constraint Programming
constraint-optimisation-problem constraint-programming constraint-satisfaction-problem constraint-solver constraints copr csp java solver
Language:Java 668
python-constraint / python-constraint
Constraint Solving Problem resolver for Python
python constraint-satisfaction-problem
Language:Python 402
crillab / gophersat
gophersat, a SAT solver in Go
artificial-intelligence boolean-formulas constraint-satisfaction-problem constraints pseudo-boolean-solver sat-solver
Language:Go 358
PKU-Alignment / safety-gymnasium
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
constraint-satisfaction-problem reinforcement-learning safe-reinforcement-learning safe-reinforcement-learning-environments safety-critical safety-critical-systems constraint-rl safe-policy-optimization
Language:Python 313
Gecode / gecode
Generic Constraint Development Environment
constrained-optimization constraint-programming constraint-propagation constraint-satisfaction constraint-satisfaction-problem constraint-solver
Language:C++ 262
godot-constraint-solving
AlexeyBond / godot-constraint-solving
WFC (Wave Function Collapse) and generic constraint satisfaction problem solver implementation for Godot 4
godot-4 wave-function-collapse constraint-satisfaction-problem procedural-generation godot godot-addon godot4 wfc
Language:GDScript 242
davecom / ClassicComputerScienceProblemsInSwift
Source Code for the Book Classic Computer Science Problems in Swift
book swift manning computer-science neural-network graph-algorithms search-algorithms genetic-algorithms k-means constraint-satisfaction-problem
Language:Swift 187
lifebeyondfife / Decider
An Open Source .Net Constraint Programming Solver
constraint-programming constraint-satisfaction-problem c-sharp optimisation constraint-solver f-sharp
Language:C# 144
avihuxp / WaveFunctionCollapse
Implementation of the overlapping model of the Wave Function Collapse algorithm
constraint-satisfaction-problem game-development generative-model image-processing python wave-function-collapse
Language:Python 104
realkushagrakhare / 3D_Path_Planning
AI project for 3D Path Planning. Other details and running instructions can be found on the Readme.md file
artificial-intelligence artificial-intelligence-algorithms path-planning 3d-pathfinding constraint-satisfaction-problem 3d-path-planning planning-algorithms satisfaction constraints motion reeds-shepp-planner dubins-rrt dubins collision-detection rrt rrt-star rapidly-exploring-random-tree spline-interpolation spline-fit node-prune
Language:Python 100
davecom / SwiftCSP
A Constraint Satisfaction Problem Solver in Pure Swift
constraint-satisfaction constraint-satisfaction-problem eight-queen-problem eight-queens-puzzle map-coloring sudoku-solver swift
Language:Swift 79
xmonader / prolog-rands
random stuff in prolog
constraint-satisfaction-problem prolog puzzles riddles
Language:Prolog 73
xcsp3team / PyCSP3
A Python Library for modeling combinatorial constrained problems
modeling modeling-language modeling-tool constraint-based-modeling constraint-programming constraints python constrained-optimization constraint-satisfaction-problem library xcsp3
Language:Python 57
tpaviot / ProcessScheduler
A Python package for automatic and optimized resource scheduling
constraint-satisfaction-problem project-management resource-allocation scheduling
Language:Jupyter Notebook 54
xgillard / ddo
DDO a generic and efficient framework for MDD-based optimization.
ddo discrete-optimization constraint-programming operations-research decision-diagrams constraint-satisfaction-problem constraint-optimisation-problem
Language:Rust 53
gnboorse / centipede
Constraint Satisfaction Problem Solver for Golang
constraint-satisfaction-problem csp golang go solver solvers constraint-programming heuristic arc-consistency
Language:Go 52
dwave-examples / job-shop-scheduling
Determine a schedule for running a set of jobs.
constraint-satisfaction-problem manufacturing optimization good-first-example bqm beginner
Language:Python 43
dwave-examples / nurse-scheduling
A demo of a nurse scheduling model
constraint-satisfaction-problem optimization healthcare hybrid-solution bqm intermediate
Language:Python 40
hyperc-ai / ordered
Entropy-controlled contexts in Python
python artificial-intelligence machine-learning constraint-programming constraint-satisfaction-problem ai ai-planning pddl ai-planners planning planning-algorithms automated-programming programming-paradigms state-machine modeling ontology
Language:Python 39
sukrutrao / Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
constraint-satisfaction-problem satisfiability maxsat sat-solver sat timetable-generator timetabler iith iit-hyderabad custom-constraints maxsat-solver timetable timetable-builder open-wbo cpp
Language:C++ 38
dwave-examples / factoring
Factor numbers using a quantum computer
constraint-satisfaction-problem intelligence intermediate
Language:Python 35
richoux / GHOST
General meta-Heuristic Optimization Solving Toolkit
constraints solver constraint-programming optimization framework constraint-satisfaction-problem toolkit library combinatorial-optimization
Language:C++ 35
syntnc / Artificial-Intelligence
IIIT Allahabad B. Tech. (IT) 5th Semester Artificial Intelligence Lab Assignments + HackerRank Artificial Intelligence Track
artificial-intelligence hackerrank iiit python allahabad iiit-allahabad a-star-algorithm backtracking constraint-satisfaction-problem statistics machine-learning-algorithms
Language:Python 32
dwave-examples / knapsack
Implementation of knapsack problem, set up for scaling to large problem size
hybrid-solution constraint-satisfaction-problem cqm beginner
Language:Python 29
dwave-examples / circuit-fault-diagnosis
Find possible failing components on a circuit.
constraint-satisfaction-problem bqm advanced
Language:Python 27
dwave-examples / satellite-placement
Group satellites into constellations such that their average observation coverage is maximized
constraint-satisfaction-problem aerospace defense optimization hybrid-solution bqm intermediate
Language:Python 27
dwave-examples / sudoku
Solve a Sudoku puzzle with a quantum computer
constraint-satisfaction-problem hybrid-solution intermediate
Language:Python 26
dwave-examples / clustering
Using a quantum computer to cluster data points
constraint-satisfaction-problem machine-learning problem-inspector bqm intermediate
Language:Python 24
hanzopgp / ModernApproachAIExercices
Artificial Intelligence A Modern Approach 4th edition exercices.
artificial-intelligence computer-vision constraint-satisfaction-problem deep-learning machine-learning natural-language-processing personal reinforcement-learning
23
xcsp3team / ACE
Constraint Solver ACE
constrained-optimization constraint-programming constraint-satisfaction-problem constraint-solver constraints csp java optimization solver xcsp3
Language:Java 22
xoolive / facile
Python constraint programming library
constraint-programming constraint-satisfaction-problem constrained-optimization python ocaml
Language:OCaml 22
chanioxaris / kenken-solver
Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)
puzzle kenken board solver constraints csp-solver csp constraint-satisfaction-problem backtracking minimum-remaining-values aima-book artificial-intelligence forward-checking arc-consistency
Language:Python 20
Kvatsx / Artificial-Intelligence-Assignments
A-List of all the Assignment done in Artificial Intelligence Course @IIIT-D
astar-algorithm ida-star-algorithm constraint-satisfaction-problem breadth-first-search depth-first-search n-puzzle reinforcement-learning q-learning sarsa-learning genetic-algorithm memetic-algorithms ant-colony-optimization minimax-algorithm alpha-beta-pruning
Language:Python 20
dwave-examples / graph-partitioning
Split a graph into two groups
constraint-satisfaction-problem optimization bqm intermediate
Language:Python 18

constraint-satisfaction-problem

afshinea / stanford-cs-221-artificial-intelligence

PKU-Alignment / omnisafe

chocoteam / choco-solver

python-constraint / python-constraint

crillab / gophersat

PKU-Alignment / safety-gymnasium

Gecode / gecode

AlexeyBond / godot-constraint-solving

davecom / ClassicComputerScienceProblemsInSwift

lifebeyondfife / Decider

avihuxp / WaveFunctionCollapse

realkushagrakhare / 3D_Path_Planning

davecom / SwiftCSP

xmonader / prolog-rands

xcsp3team / PyCSP3

tpaviot / ProcessScheduler

xgillard / ddo

gnboorse / centipede

dwave-examples / job-shop-scheduling

dwave-examples / nurse-scheduling

hyperc-ai / ordered

sukrutrao / Timetabler

dwave-examples / factoring

richoux / GHOST

syntnc / Artificial-Intelligence

dwave-examples / knapsack

dwave-examples / circuit-fault-diagnosis

dwave-examples / satellite-placement

dwave-examples / sudoku

dwave-examples / clustering

hanzopgp / ModernApproachAIExercices

xcsp3team / ACE

xoolive / facile

chanioxaris / kenken-solver

Kvatsx / Artificial-Intelligence-Assignments

dwave-examples / graph-partitioning