constraint-satisfaction-problem | Topic

Topic: "constraint-satisfaction-problem"

afshinea/stanford-cs-221-artificial-intelligence

VIP cheatsheets for Stanford's CS 221 Artificial Intelligence

Size: 10.1 MB - Last synced at: 4 months ago - Pushed at: almost 6 years ago - Stars: 2,761 - Forks: 521

PKU-Alignment/omnisafe

JMLR: OmniSafe is an infrastructural framework for accelerating SafeRL research.

Language: Python - Size: 52.7 MB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 993 - Forks: 139

chocoteam/choco-solver

An open-source Java library for Constraint Programming

Language: Java - Size: 83.7 MB - Last synced at: 1 day ago - Pushed at: 4 days ago - Stars: 736 - Forks: 149

python-constraint/python-constraint

Constraint Solving Problem resolver for Python

Language: Python - Size: 5.42 MB - Last synced at: 11 days ago - Pushed at: 3 months ago - Stars: 490 - Forks: 70

PKU-Alignment/safety-gymnasium

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

Language: Python - Size: 490 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 488 - Forks: 67

AlexeyBond/godot-constraint-solving

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

Language: GDScript - Size: 6.73 MB - Last synced at: 5 months ago - Pushed at: 6 months ago - Stars: 393 - Forks: 16

crillab/gophersat

gophersat, a SAT solver in Go

Language: Go - Size: 18.4 MB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 382 - Forks: 23

Gecode/gecode

Generic Constraint Development Environment

Language: C++ - Size: 28.4 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 259 - Forks: 72

davecom/ClassicComputerScienceProblemsInSwift

Source Code for the Book Classic Computer Science Problems in Swift

Language: Swift - Size: 111 KB - Last synced at: 2 days ago - Pushed at: 8 months ago - Stars: 198 - Forks: 42

jstrieb/poker-chipper

Optimally allocate poker chips using constrained, nonlinear optimization

Language: Svelte - Size: 14.4 MB - Last synced at: 5 months ago - Pushed at: 11 months ago - Stars: 174 - Forks: 4

lifebeyondfife/Decider

An Open Source .Net Constraint Programming Solver

Language: C# - Size: 261 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 163 - Forks: 25

realkushagrakhare/3D_Path_Planning

AI project for 3D Path Planning. Other details and running instructions can be found on the Readme.md file

Language: Python - Size: 5.74 MB - Last synced at: 8 days ago - Pushed at: almost 7 years ago - Stars: 123 - Forks: 39

avihuxp/WaveFunctionCollapse

Implementation of the overlapping model of the Wave Function Collapse algorithm

Language: Python - Size: 38.8 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 105 - Forks: 6

davecom/SwiftCSP

A Constraint Satisfaction Problem Solver in Pure Swift

Language: Swift - Size: 148 KB - Last synced at: 15 days ago - Pushed at: about 3 years ago - Stars: 82 - Forks: 11

tpaviot/ProcessScheduler

A Python package for automatic and optimized resource scheduling

Language: Jupyter Notebook - Size: 9.98 MB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 78 - Forks: 25

xmonader/prolog-rands

random stuff in prolog

Language: Prolog - Size: 9.77 KB - Last synced at: 4 days ago - Pushed at: almost 7 years ago - Stars: 76 - Forks: 34

xcsp3team/pycsp3

A Python Library for modeling combinatorial constrained problems

Language: Python - Size: 213 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 74 - Forks: 10

gnboorse/centipede

Constraint Satisfaction Problem Solver for Golang

Language: Go - Size: 805 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 69 - Forks: 11

LAMDASZ-ML/ChinaTravel

ChinaTravel: A Real-World Benchmark for Language Agents in Chinese Travel Planning

Language: Python - Size: 886 KB - Last synced at: about 23 hours ago - Pushed at: 1 day ago - Stars: 68 - Forks: 11

PKU-Alignment/SafeDreamer

ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models

Language: Python - Size: 2.36 MB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 66 - Forks: 6

xgillard/ddo

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

Language: Rust - Size: 14.9 MB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 62 - Forks: 8

rf-/ingrid_core

Crossword-generating library and CLI tool

Language: Rust - Size: 2.27 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 57 - Forks: 7

fel88/CascadeDesktop

OpenCASCADE GUI Viewer/Editor

Language: C++ - Size: 6.45 MB - Last synced at: 15 days ago - Pushed at: 16 days ago - Stars: 57 - Forks: 19

yangeorget/nucs

NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains

Language: Python - Size: 2.62 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 48 - Forks: 1

dwave-examples/job-shop-scheduling 📦

Determine a schedule for running a set of jobs.

Language: Python - Size: 62.5 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 46 - Forks: 33

hanzopgp/ModernApproachAIExercices

Artificial Intelligence A Modern Approach 4th edition exercices.

Size: 501 KB - Last synced at: 7 days ago - Pushed at: almost 3 years ago - Stars: 45 - Forks: 13

hyperc-ai/ordered

Entropy-controlled contexts in Python

Language: Python - Size: 120 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 39 - Forks: 3

richoux/GHOST

General meta-Heuristic Optimization Solving Toolkit

Language: C++ - Size: 30.6 MB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 38 - Forks: 6

dwave-examples/nurse-scheduling

A demo of a nurse scheduling model

Language: Python - Size: 47.9 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 36 - Forks: 32

sukrutrao/Timetabler

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

Language: C++ - Size: 756 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 35 - Forks: 7

dwave-examples/factoring

Factor numbers using a quantum computer

Language: Python - Size: 188 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 33 - Forks: 36

xcsp3team/ACE

Constraint Solver ACE

Language: Java - Size: 94.8 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 32 - Forks: 6

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 at: over 1 year ago - Pushed at: about 7 years ago - Stars: 32 - Forks: 25

dwave-examples/sudoku

Solve a Sudoku puzzle with a quantum computer

Language: Python - Size: 49.8 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 26 - Forks: 44

radevgit/selen

Constraint Satisfaction Problem (CSP) Solver

Language: Rust - Size: 6.75 MB - Last synced at: 8 days ago - Pushed at: 12 days ago - Stars: 25 - Forks: 0

dwave-examples/satellite-placement

Group satellites into constellations such that their average observation coverage is maximized

Language: Python - Size: 68.4 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 25 - Forks: 27

dwave-examples/knapsack

Implementation of knapsack problem, set up for scaling to large problem size

Language: Python - Size: 123 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 25 - Forks: 33

dwave-examples/circuit-fault-diagnosis

Find possible failing components on a circuit.

Language: Python - Size: 104 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 25 - Forks: 29

xoolive/facile

Python constraint programming library

Language: OCaml - Size: 418 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 24 - Forks: 6

joshuaguerin/Answer-Set-Programming-Algorithms

Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

Language: Python - Size: 11.9 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 22 - Forks: 1

dwave-examples/clustering

Using a quantum computer to cluster data points

Language: Python - Size: 155 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 22 - Forks: 28

chanioxaris/kenken-solver

Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)

Language: Python - Size: 139 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 21 - Forks: 2

denis-berthier/CSP-Rules-V2.1

A general pattern-based solver of finite Constraint Satisfaction problems

Language: CLIPS - Size: 92.5 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 20 - Forks: 3

dwave-examples/graph-partitioning

Split a graph into two groups

Language: Python - Size: 496 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 19 - Forks: 22

Kvatsx/Artificial-Intelligence-Assignments

A-List of all the Assignment done in Artificial Intelligence Course @IIIT-D

Language: Python - Size: 129 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 19 - Forks: 3

fabridigua/LogicGamesSolver

A Python tool to solve logic games with AI, Deep Learning and Computer Vision

Language: Python - Size: 8.34 MB - Last synced at: 6 months ago - Pushed at: almost 5 years ago - Stars: 16 - Forks: 3

xcsp3team/cosoco

COmpact SOlver for COnstrained problems

Language: C++ - Size: 1.19 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 12 - Forks: 3

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

Extended, multi-agent and multi-objective (MaMoRL / MoMaRL) 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.74 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 12 - Forks: 2

ptal/kobe-scheduling

Data sets for the resource-constrained project scheduling problem (RCPSP)

Language: Scheme - Size: 24.1 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 12 - Forks: 2

dwave-examples/antenna-selection

Demonstrate a max independent set problem with antennas

Language: Python - Size: 511 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 12 - Forks: 21

SrinidhiRaghavan/AI-Sudoku

Solving sudoku puzzle using backtracking and AC-3

Language: Python - Size: 39.1 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 12 - Forks: 14

xcsp3team/PyCSP3-models

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

Language: Python - Size: 17.1 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 11 - Forks: 1

slimgroup/SetIntersectionProjection.jl

Constrained optimization

Language: Julia - Size: 79.9 MB - Last synced at: 18 days ago - Pushed at: about 1 year ago - Stars: 11 - Forks: 3

alex-87/qaekwy-python

Python Client library for Qaekwy Operational Research Solver

Language: Python - Size: 87.9 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 10 - Forks: 1

pvigier/room_generator

A Room Generator based on a CSP Solver

Language: C++ - Size: 11.7 KB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 10 - Forks: 0

SarthakSKumar/Solving-CSP-using-RAT

Project which uses algorithms involving Backtracking to solve Constraint Satisfaction Problems. CSE Sem-I Project 2022

Language: Python - Size: 48 MB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 1

diegocasmo/udacity-aind 📦

A repository of multiple projects and labs done in the Udacity Artificial Intelligence Nanodegree (aind).

Language: Jupyter Notebook - Size: 4.24 MB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 10 - Forks: 14

madvorak/vcsp

General-Valued Constraint Satisfaction Problems

Language: Lean - Size: 1.21 MB - Last synced at: 8 days ago - Pushed at: 22 days ago - Stars: 9 - Forks: 1

francoisschwarzentruber/abcd

A simple ASCII format to represent music scores, and a music score editor

Language: JavaScript - Size: 349 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 1

HxnDev/Exam-Scheduler-Generator-Using-Genetic-Algorithm

The project is to find generic solution that will facilitate generating schedule for university using “Genetic Algorithm”. The success of solution is estimated on fulfillment of given constraints and criteria.

Language: Jupyter Notebook - Size: 1.23 MB - Last synced at: 4 months ago - Pushed at: about 4 years ago - Stars: 9 - Forks: 1

mguenther/csp-solver-scala

Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the original Java version. Features Sudoku as an example application.

Language: Scala - Size: 29.3 KB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 9 - Forks: 2

dwave-examples/cryptarithmetic

Solve cryptarithmetic addition puzzles using the LeapHybridCQMSampler.

Language: Python - Size: 122 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 8 - Forks: 13

jakub-oprsal/pcsptools

Tools for checking identities in polymorphism minions. Mostly.

Language: Python - Size: 90.8 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 0

dwave-examples/maze

Simple example on how to construct a problem for a quantum computer

Language: Python - Size: 60.5 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 25

bralani/icon22-23

Software di gestione degli incroci semaforici sfruttando tecnologie di intelligenza artificiale per il corso di ingegneria della conoscenza

Language: Python - Size: 7.3 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 1

FarshidNooshi/Pacman-Projects

Principles & Applications of Artificial Intelligence at Amirkabir University of Technology course projects

Language: Python - Size: 4.76 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 1

huaminghuangtw/Parallel-Sudoku-Solver

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

Language: C++ - Size: 3.83 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 5

dwave-examples/map-coloring

Select the colors used on the different regions of a map

Language: Python - Size: 191 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 7 - Forks: 18

dwave-examples/n-queens

Demonstrates how to formulate the n-queens problem as a QUBO, which we then solve using Leap’s hybrid solvers.

Language: Python - Size: 45.9 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 15

dwave-examples/factoring-notebook

Factor numbers using a quantum computer.

Language: Jupyter Notebook - Size: 245 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 20

radinshayanfar/AI_Projects

AUT Principles and Applications of Artificial Intelligence course (Fall 2020) projects

Language: Java - Size: 5.43 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 0

GhazaleZe/Artificial-Intelligence

codes of my IUT course

Language: Python - Size: 64.5 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 1

virresh/evolutionary_search_algorithms

Implementation of Genetic Algorithm, Memetic Algorithm and Constraint Satisfaction on a Time Table scheduling problem. Also has an implementation of MiniMax Strategy for TicTacToe

Language: Python - Size: 254 KB - Last synced at: 7 months ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 3

ermongroup/streamline-vi-csp

Language: C - Size: 2.32 MB - Last synced at: 6 months ago - Pushed at: almost 7 years ago - Stars: 7 - Forks: 2

erohkohl/n-queens-sat

Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.

Language: Rust - Size: 16.3 MB - Last synced at: 6 months ago - Pushed at: over 8 years ago - Stars: 7 - Forks: 1

jmjrawlings/MiniZinc.Net

MiniZinc ↔ .NET

Language: C# - Size: 2.61 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 6 - Forks: 0

neonrights/swinemeeper

Minesweeper solvers

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

nitinkarolla/AI

Introduction to AI assignment

Language: Python - Size: 6.78 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 2

KajanM/TimeTableScheduler

Solve time table scheduling using `Constraint Satisfaction Problem`

Language: Java - Size: 274 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 6 - 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 at: over 1 year ago - Pushed at: about 9 years ago - Stars: 6 - Forks: 2

zisisvakras/crossw

Highly optimized crossword solver

Language: C - Size: 885 KB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 5 - Forks: 2

aws-samples/employee-shift-scheduling-optimization-cdk

Employee Scheduling Optimization Project with AWS CDK

Language: Java - Size: 2.19 MB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 2

HxnDev/Exam-Schedling-using-Backtracking-Algorithm

Backtracking is a general algorithm for finding solutions to some computational problems, notably constraint satisfaction problems, that incrementally builds candidates to the solutions, and abandons a candidate as soon as it determines that the candidate cannot possibly be completed to a valid solution.

Language: Python - Size: 85.9 KB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 1

yajnab/PyACO

A Library in Python dealing with Ant Colony Optimization Algorithm to Solve Constrained Problems

Language: Python - Size: 17.6 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 1

mahdavipanah/SudokuPyCSF

Solve Sudoku with Python using the CSF approach

Language: Python - Size: 4.88 KB - Last synced at: 4 months ago - Pushed at: over 8 years ago - Stars: 5 - Forks: 2

dwave-examples/pipelines

A minimum vertex problem with pipelines

Language: Python - Size: 691 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 4 - Forks: 16

svenkonings/JaCoMo

A high-level, solver-independent, Java constraint model for constraint satisfaction problems in the integer domain.

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

AlirezaSR/Classic-Computer-Science-Problems-in-Kotlin

Source Code for the Book Classic Computer Science Problems in Kotlin

Language: Kotlin - Size: 41 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 0

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 at: 7 months ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 2

marvk/sigmarsgarden

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

Language: Java - Size: 216 KB - Last synced at: 7 months ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0

Areesha-Tahir/Exam-Scheduler-Using-Genetic-Algorithm-In-Python

Exam schedule generation using Genetic Algorithm.

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

HxnDev/Implementing-Knapsack-Algorithm

The knapsack problem is a problem in combinatorial optimization: Given a set of items, each with a weight and a value, determine the number of each item to include in a collection so that the total weight is less than or equal to a given limit and the total value is as large as possible

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