GitHub topics: constraint-satisfaction-problem

Repositories

xcsp3team/cosoco

COmpact SOlver for COnstrained problems

Language: C++ - Size: 901 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 12 - Forks: 3

PKU-Alignment/safety-gymnasium

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

Language: Python - Size: 490 MB - Last synced at: 4 days ago - Pushed at: 2 months ago - Stars: 448 - Forks: 63

xcsp3team/pycsp3

A Python Library for modeling combinatorial constrained problems

Language: Python - Size: 213 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 67 - Forks: 9

xcsp3team/PyCSP3-models

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

Language: Python - Size: 16.3 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 10 - Forks: 1

madvorak/vcsp

General-Valued Constraint Satisfaction Problems

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

PKU-Alignment/omnisafe

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

Language: Python - Size: 52.7 MB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 945 - Forks: 133

PKU-Alignment/SafeDreamer

ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models

Language: Python - Size: 2.36 MB - Last synced at: 4 days ago - Pushed at: about 1 year ago - Stars: 66 - Forks: 6

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: 3 months ago - Stars: 70 - Forks: 25

LAMDASZ-ML/ChinaTravel

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

Language: Python - Size: 813 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 13 - Forks: 2

rf-/ingrid_core

Crossword-generating library and CLI tool

Language: Rust - Size: 2.08 MB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 47 - 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: 2.19 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 10 - Forks: 2

chocoteam/choco-solver

An open-source Java library for Constraint Programming

Language: Java - Size: 83.4 MB - Last synced at: 8 days ago - Pushed at: 20 days ago - Stars: 718 - Forks: 146

xgillard/ddo

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

Language: Rust - Size: 14.9 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 62 - Forks: 7

lifebeyondfife/Decider

An Open Source .Net Constraint Programming Solver

Language: C# - Size: 254 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 159 - Forks: 24

joshuaguerin/Answer-Set-Programming-Algorithms

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

Language: Answer Set Programming - Size: 2.53 MB - Last synced at: 22 days ago - Pushed at: 23 days ago - Stars: 16 - Forks: 0

xcsp3team/ACE

Constraint Solver ACE

Language: Java - Size: 89.9 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 29 - Forks: 6

crillab/gophersat

gophersat, a SAT solver in Go

Language: Go - Size: 18.3 MB - Last synced at: 20 days ago - Pushed at: 11 months ago - Stars: 374 - Forks: 23

python-constraint/python-constraint

Constraint Solving Problem resolver for Python

Language: Python - Size: 4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 461 - Forks: 69

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: about 1 month ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 2

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 at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Maurice-L/CSP

Implementierung eines Constraint Satisfaction Problems zur Erstellung eines Stundenplans

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

fel88/CascadeDesktop

OpenCASCADE GUI Viewer/Editor

Language: C# - Size: 4.3 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 45 - Forks: 17

dwave-examples/map-coloring

Select the colors used on the different regions of a map

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

AlexeyBond/godot-constraint-solving

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

Language: GDScript - Size: 6.33 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 389 - Forks: 16

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: about 1 month ago - Pushed at: over 6 years ago - Stars: 117 - Forks: 39

afshinea/stanford-cs-221-artificial-intelligence

VIP cheatsheets for Stanford's CS 221 Artificial Intelligence

Size: 10.1 MB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 2,676 - Forks: 507

MathisPct/VoyageMultiAgent

Projet commun réalisé avec @Mhoot08 dans le cadre du module "Système Multi Agents" en 5ème année à Polytech Lyon. Le but était de programmer un système de négociations entre agent "négociant" et agent "acheteur" basés sur les contraintes de l'utilisateur afin de réserver des billets d'avions

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

davecom/ClassicComputerScienceProblemsInSwift

Source Code for the Book Classic Computer Science Problems in Swift

Language: Swift - Size: 111 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 195 - Forks: 42

francoisschwarzentruber/abcd

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

Language: JavaScript - Size: 349 KB - Last synced at: 26 days ago - Pushed at: 9 months ago - Stars: 9 - Forks: 1

teodutu/IA

Inteligenta Artificiala - UPB 2020-2021

Language: Jupyter Notebook - Size: 20.6 MB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

yangeorget/nucs

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

Language: Python - Size: 2.45 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

davecom/SwiftCSP

A Constraint Satisfaction Problem Solver in Pure Swift

Language: Swift - Size: 148 KB - Last synced at: 19 days ago - Pushed at: over 2 years ago - Stars: 82 - Forks: 11

hanzopgp/ModernApproachAIExercices

Artificial Intelligence A Modern Approach 4th edition exercices.

Size: 501 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 33 - Forks: 11

ptal/kobe-scheduling

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

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

aliakseis/minesweeper-redux

About.com April'2009 Programming Challenge 24 - MineSweeper Redux

Language: C++ - Size: 31.3 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1 - Forks: 1

pvigier/room_generator

A Room Generator based on a CSP Solver

Language: C++ - Size: 11.7 KB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 1

marshudi/Constraint-Satisfaction-Problem

This project solves the {Constraint Satisfaction Problem (CSP)} using backtracking search, focusing on the map coloring problem. It ensures that adjacent regions are assigned different colors while satisfying all constraints. Implemented in Python, the project includes examples for 12 countries, Oman states, and Australian states.

Language: Python - Size: 2.9 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

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: 4 days ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 1

josephmars/crossword_solver_ai

Solver that Uses Constraint Satisfaction Problem to solve Crossword Puzzles. It integrates a heuristic and NetworkX to create a constraint graph.

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

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: 2 days ago - Pushed at: almost 8 years ago - Stars: 7 - Forks: 1

reza-chehreghani/AI-Project-3-RL-LSTM-Search

Reinforcement Learning, Long Short-Term Memory (LSTM), and Search Algorithms with Practical Applications in Python and TensorFlow.

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

emrulk1/AI-ML-Data-Science-Practice

This repository contains codes related to my AI , Machine learning, Deep Learning and data Science practice for courseworks and self learning.

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

jmjrawlings/MiniZinc.Net

MiniZinc ↔ .NET

Language: C# - Size: 2.55 MB - Last synced at: about 13 hours ago - Pushed at: about 14 hours ago - Stars: 6 - Forks: 0

jstrieb/poker-chipper

Optimally allocate poker chips using constrained, nonlinear optimization

Language: Svelte - Size: 14.4 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 173 - Forks: 4

Big-ShahMir/Battleship_Solitaire_Solver

Battleship Solitaire Solver is a Python program designed to solve Battleship Solitaire puzzles by leveraging techniques from constraint satisfaction problems (CSP).

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

z1skgr/N_Queens

Solving algorithms on N queens problem

Language: Java - Size: 486 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

Raihan4520/AI-And-Expert-System

Python implementations from the AI and Expert System course at AIUB, covering search algorithms, machine learning, and neural networks.

Language: Python - Size: 3.83 MB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 1 - 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: almost 3 years ago - Stars: 10 - Forks: 1

dwave-examples/cryptarithmetic

Solve cryptarithmetic addition puzzles using the LeapHybridCQMSampler.

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

dwave-examples/graph-partitioning

Split a graph into two groups

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

dwave-examples/antenna-selection

Demonstrate a max independent set problem with antennas

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

dwave-examples/pipelines

A minimum vertex problem with pipelines

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

dwave-examples/job-shop-scheduling 📦

Determine a schedule for running a set of jobs.

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

mahdavipanah/SudokuPyCSF

Solve Sudoku with Python using the CSF approach

Language: Python - Size: 4.88 KB - Last synced at: about 1 month ago - Pushed at: over 8 years ago - Stars: 5 - Forks: 2

xoolive/facile

Python constraint programming library

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

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: 4 days ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 3

University-Project-Repos/AI__A-star_search

Language: Python - Size: 35.2 KB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

EmmanuelEzenwere/AIND-AIprojects

Portfolio of AI projects developed during my Udacity AI Nanodegree, covering Planning AI, Constraint Satisfaction, Hidden Markov Models, and Search algorithms.

Language: HTML - Size: 3.75 MB - Last synced at: 3 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

slimgroup/SetIntersectionProjection.jl

Constrained optimization

Language: Julia - Size: 79.9 MB - Last synced at: 2 days ago - Pushed at: 7 months ago - Stars: 11 - Forks: 3

alex-87/qaekwy-python

Python Client library for Qaekwy Operational Research Solver

Language: Python - Size: 46.9 KB - Last synced at: 19 days ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 1

Aathish04/MiniZincClassTimetable

A MiniZinc Model describing a class timetabling problem for a university, with a basic User Interface written with C and GTK4.

Language: C - Size: 13 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

denis-berthier/CSP-Rules-V2.1

A general pattern-based solver of finite Constraint Satisfaction problems

Language: CLIPS - Size: 88.2 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 14 - Forks: 2

Research-Tools-PAVT/klee Fork of klee/klee

KLEE Symbolic Execution Engine

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

musty-ess/AI-Crossword-Puzzle-Generator

This project is an AI-based crossword puzzle generator using Python 3.12. The AI solves constraint satisfaction problems (CSP) to generate complete crossword puzzles based on a given structure and a set of words.

Language: Python - Size: 142 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

GhazaleZe/Artificial-Intelligence

codes of my IUT course

Language: Python - Size: 64.5 KB - Last synced at: 20 days ago - Pushed at: about 4 years ago - Stars: 7 - Forks: 1

sidnand/Optimization-Exploratorium

Collection of topics relating to mathematical optimization

Language: Jupyter Notebook - Size: 4.01 MB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

hyperc-ai/ordered

Entropy-controlled contexts in Python

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

Nikos25K/RLFAP

📻📡 The Radio Link Frequency Assignment Problem

Language: Python - Size: 152 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

LokeshBorawar/AI

AI projects and some algorithms. If you are seeing this please take care of the path in the code

Language: Jupyter Notebook - Size: 18.5 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

ML-KULeuven/ocus-explain

Efficient Explaining CSPs with Unsatisfiable Subset Optimization

Language: Jupyter Notebook - Size: 14 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 3 - Forks: 0

jakub-oprsal/pcsptools

Tools for checking identities in polymorphism minions. Mostly.

Language: Python - Size: 90.8 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 8 - Forks: 0

shuai-yang/A-practice-for-AI-search-algorithm-solving-CSPs

This is a practice for AI Search Algorithm. Grocery Bagging is a Constraint Satisfaction Problem (CSP). I used Backtracking search algorithm (Depth-First-Search) along with arc-consistency, Most Restrictive Value (MRV) and Least Constraining Value (LCV) heuristics for prioritizing and pruning to solve the problem as efficiently as possible.

Language: Java - Size: 222 KB - Last synced at: 9 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

immkg/general-scheduler

Timetable scheduling is a complex and challenging problem, especially in educational institutions where multiple constraints must be balanced

Language: Python - Size: 14.1 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

andrewkchan/wave-function-collapse

Annotated implementation of wave function collapse algorithm

Language: TypeScript - Size: 74.2 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

barannmeisterr/Pediatric-Endocrinology-Clinic-Time-Table-Scheduling-System

This java swing gui project is a comprehensive scheduling system for a Pediatric Endocrinology Clinic. It uses Directed Graph data structure to efficiently model the complex relationships and constraints between doctors and their shifts. The system ensures that all constraints related to doctor-shift assignments are respected generates timetable.

Language: Java - Size: 73 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0

smadhiv/KakuroSolver

This python implementation solves kakuro puzzle by recursively eliminating improbable permutations

Language: Python - Size: 24.4 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 1

marvk/sigmarsgarden

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

Language: Java - Size: 216 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

mrp-78/persian-crossword-solver

AI for solving Persian crosswords

Language: Python - Size: 1.47 MB - Last synced at: 18 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

frankheat/JobScheduling-RCM

This work aims to help the project manager in RCM (Residential Construction Management) activities.

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

amirhu37/Crypto-Aritmatic

Make a Crypto-Aritmatic algorithm with rust lang

Language: Rust - Size: 5.86 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

dtonhofer/sudoku_solver_in_java

A simple Sudoku Solver in Java

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

Terrioux/BTD-RBO

BTD/RBO solver

Language: C++ - Size: 616 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

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 days ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 1

mcaci/zebra-puzzle-example

A solution for the zebra puzzle in Go

Language: Go - Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

areeba0/Cryptarithm-Puzzle-Solver-Using-DFS-and-A-star-Algorithm

This code provides a solution for cryptarithmetic puzzles using two different approaches: DFS and A Star Search Algorithm. Cryptarithm puzzles are mathematical puzzles where the digits are replaced by letters of the alphabet, and each letter represents a unique digit.

Language: Jupyter Notebook - Size: 88.9 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0