Projects in Awesome Lists tagged with constraint-satisfaction-problem

https://github.com/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

Last synced: 26 Mar 2025

https://github.com/PKU-Alignment/omnisafe

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

benchmark constraint-rl constraint-satisfaction-problem deep-learning deep-reinforcement-learning machine-learning pytorch reinforcement-learning safe-reinforcement-learning safe-rl saferl safety-critical safety-gym safety-gymnasium

Last synced: 04 Dec 2024

https://github.com/pku-alignment/omnisafe

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

benchmark constraint-rl constraint-satisfaction-problem deep-learning deep-reinforcement-learning machine-learning pytorch reinforcement-learning safe-reinforcement-learning safe-rl saferl safety-critical safety-gym safety-gymnasium

Last synced: 14 May 2025

https://github.com/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

Last synced: 06 May 2025

https://github.com/pku-alignment/safety-gymnasium

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

constraint-rl constraint-satisfaction-problem reinforcement-learning safe-policy-optimization safe-reinforcement-learning safe-reinforcement-learning-environments safety-critical safety-critical-systems

Last synced: 14 May 2025

https://github.com/PKU-Alignment/safety-gymnasium

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

constraint-rl constraint-satisfaction-problem reinforcement-learning safe-policy-optimization safe-reinforcement-learning safe-reinforcement-learning-environments safety-critical safety-critical-systems

Last synced: 04 Dec 2024

https://github.com/alexeybond/godot-constraint-solving

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

constraint-satisfaction-problem godot godot-4 godot-addon godot4 procedural-generation wave-function-collapse wfc

Last synced: 09 Apr 2025

https://github.com/crillab/gophersat

gophersat, a SAT solver in Go

artificial-intelligence boolean-formulas constraint-satisfaction-problem constraints pseudo-boolean-solver sat-solver

Last synced: 21 Apr 2025

https://github.com/davecom/classiccomputerscienceproblemsinswift

Source Code for the Book Classic Computer Science Problems in Swift

book computer-science constraint-satisfaction-problem genetic-algorithms graph-algorithms k-means manning neural-network search-algorithms swift

Last synced: 04 Apr 2025

https://github.com/jstrieb/poker-chipper

Optimally allocate poker chips using constrained, nonlinear optimization

constraint-programming constraint-satisfaction-problem optimization poker scip svelte web-application web-assembly

Last synced: 05 Apr 2025

https://github.com/realkushagrakhare/3d_path_planning

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

3d-path-planning 3d-pathfinding artificial-intelligence artificial-intelligence-algorithms collision-detection constraint-satisfaction-problem constraints dubins dubins-rrt motion node-prune path-planning planning-algorithms rapidly-exploring-random-tree reeds-shepp-planner rrt rrt-star satisfaction spline-fit spline-interpolation

Last synced: 09 Feb 2025

https://github.com/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

Last synced: 27 Apr 2025

https://github.com/xmonader/prolog-rands

random stuff in prolog

constraint-satisfaction-problem prolog puzzles riddles

Last synced: 21 Jun 2025

https://github.com/tpaviot/processscheduler

A Python package for automatic and optimized resource scheduling

constraint-satisfaction-problem project-management resource-allocation scheduling

Last synced: 04 Apr 2025

https://github.com/pku-alignment/safedreamer

ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models

constraint-rl constraint-satisfaction-problem reinforcement-learning safe-policy-optimization safe-reinforcement-learning safety-critical-systems

Last synced: 07 May 2025

https://github.com/xgillard/ddo

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

constraint-optimisation-problem constraint-programming constraint-satisfaction-problem ddo decision-diagrams discrete-optimization operations-research

Last synced: 19 Dec 2024

https://github.com/rf-/ingrid_core

Crossword-generating library and CLI tool

constraint-satisfaction-problem crossword rust

Last synced: 07 Apr 2025

https://github.com/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

Last synced: 05 Mar 2025

https://github.com/xoolive/facile

Python constraint programming library

constrained-optimization constraint-programming constraint-satisfaction-problem ocaml python

Last synced: 19 Dec 2024

https://github.com/chanioxaris/kenken-solver

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

aima-book arc-consistency artificial-intelligence backtracking board constraint-satisfaction-problem constraints csp csp-solver forward-checking kenken minimum-remaining-values puzzle solver

Last synced: 30 Apr 2025

https://github.com/fabridigua/LogicGamesSolver

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

artificial-intelligence computer-vision constraint-satisfaction-problem deep-learning logic-games sudoku

Last synced: 07 May 2025

https://github.com/slimgroup/setintersectionprojection.jl

Constrained optimization

constrained-optimization constraint-satisfaction-problem constraints convex

Last synced: 09 Apr 2025

https://github.com/francoisschwarzentruber/abcd

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

abc abcjs ascii constraint-satisfaction-problem lilypond linear-programming markdown midi music music-composition music-notation music-notation-format music-score preprocessing simple-app

Last synced: 15 Apr 2025

https://github.com/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.

code constraint-satisfaction-problem documentation exam-schedule exam-scheduler generic-solution genetic-algorithm jupyter-notebook mutations project python ui

Last synced: 07 May 2025

https://github.com/farshidnooshi/pacman-projects

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

bayes-network constraint-satisfaction-problem markov-decision-processes mdp pacman-projects q-learning reinforcement-learning sampling search

Last synced: 08 May 2025

https://github.com/ermongroup/streamline-vi-csp

belief-propagation constraint-satisfaction-problem nips-2018 sat-solver satisfiability variational-inference

Last synced: 08 May 2025

https://github.com/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

ai alpha-beta-pruning artificial-intelligence constraint-satisfaction-problem csp ga genetic-algorithm ma memetic-algorithms min-max scheduling-algorithms tictactoe

Last synced: 09 Apr 2025

https://github.com/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.

constraint-programming constraint-satisfaction-problem dpll-algorithm n-queens rust rust-lang sat-solver tdd

Last synced: 09 May 2025

https://github.com/ghazaleze/artificial-intelligence

codes of my IUT course

0-1-knapsack-problem choco-solver constraint-satisfaction-problem csp-solver game-theory hill-climbing-search max-sat metaheuristics minizinc random-restart tabu-search

Last synced: 21 Apr 2025

https://github.com/pvigier/room_generator

A Room Generator based on a CSP Solver

constraint-satisfaction-problem constraints csp pcg procedural procedural-generation procgen

Last synced: 13 May 2025

https://github.com/edaaydinea/csmm101x-artificial-intelligence

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

adversarial-machine-learning artificial-intelligence columbia-university constraint-satisfaction-problem machine-learning natural-language-processing search-algorithms

Last synced: 11 Apr 2025

https://github.com/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.

backtracking backtracking-algorithm code constraint-satisfaction-problem exam-schedule exam-scheduler exam-scheduling python

Last synced: 07 May 2025

https://github.com/fieg/csp

Constraint Satisfaction Problem algorithm in PHP

constraint-satisfaction-problem csp machine-learning php

Last synced: 30 Nov 2024

https://github.com/marvk/sigmarsgarden

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

backtracking classification computer-vision constraint-satisfaction-problem cv image-classification image-classifier opencv opus-magnum sigmars-garden template-matching zachtronics

Last synced: 26 Jan 2025

https://github.com/mahdavipanah/sudokupycsf

Solve Sudoku with Python using the CSF approach

algorithm artificial-intelligence backtracking constraint-satisfaction constraint-satisfaction-problem constraint-solving-algorithm csf degree-heuristic heuristic local-search mrv-heuristic python sudoku sudoku-solver

Last synced: 06 Dec 2024

https://github.com/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

code constraint-satisfaction-problem kanpsack-problem knapsack-problem knapsack-solver knative python

Last synced: 31 Mar 2025

https://github.com/nomomon/nn-course-project

Prediction of molecular energies based on their conformations using neural networks

chemistry constraint-satisfaction-problem deep-learning machine-learning neural-networks potential-energy

Last synced: 05 Mar 2025

https://github.com/andrewkchan/wave-function-collapse

Annotated implementation of wave function collapse algorithm

algorithm constraint-satisfaction-problem gamedev generative-model procedural-generation wfc

Last synced: 08 Apr 2025

https://github.com/mostafa-mahmoud/djenerator

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

constraint-satisfaction-problem django django-application random-generation

Last synced: 12 Apr 2025

https://github.com/madvorak/vcsp

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

combinatorial-optimization constraint-satisfaction-problem lean4 linear-programming symmetric-fractional-polymorphism

Last synced: 15 Mar 2025

https://github.com/melwyn95/sudokusolver

A Sudoku Solver written in Go

constraint-satisfaction-problem dfs golang sudoku-solver

Last synced: 06 Apr 2025

https://github.com/yashkapure06/algorithms

ai astar-algorithm bfs-algorithm chatbot chatbot-application constraint-satisfaction-problem dfs-algorithm jypyternotebook open-source python3 selection-sort

Last synced: 31 Mar 2025

https://github.com/z1skgr/n_queens

Solving algorithms on N queens problem

chess-board constraint-satisfaction-problem eclipse hill-climbing java n-queens-problem online-algorithms

Last synced: 16 Mar 2025

https://github.com/fuco1/sudoku-cpp

Efficient propagating sudoku solver

backtracking c-plus-plus constraint-satisfaction constraint-satisfaction-problem sudoku

Last synced: 01 Apr 2025

https://github.com/raihan4520/ai-and-expert-system

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

ai alpha-beta-pruning astar-algorithm bfs constraint-satisfaction-problem decision-trees dfs knn machine-learning minimax neural-networks python search-algorithms

Last synced: 03 Mar 2025

https://github.com/aliakseis/minesweeper-redux

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

artificial-intelligence constraint-satisfaction-problem

Last synced: 20 Mar 2025

https://github.com/jarnorfb/moai-scheduler

A simple scheduler for finding a timetable with lectures, rooms, instructors and timeslots.

constraint-satisfaction-problem scheduling

Last synced: 18 Feb 2025

https://github.com/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.

artificial-intelligence backtracking-search constraint-satisfaction-problem relaxation-labelling

Last synced: 28 Mar 2025

https://github.com/seunadeks/coco

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

artificial-intelligence constraint-satisfaction-problem flask-server python sqlalchemy

Last synced: 08 Apr 2025

https://github.com/sameetasadullah/csp-on-exam-scheduling-using-backtracking

Python program to implement Constraint Satisfaction Problem (CSP) on Exam Scheduling Problem using Backtracking Algorithm

artificial-intelligence constraint-satisfaction-problem csp exam-schedule exam-scheduler exam-scheduling pycharm pycharm-ide python python3

Last synced: 06 Apr 2025

https://github.com/emmanuelezenwere/aind-aiprojects

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

alpha-beta-pruning astar-algorithm bellman-equation breadth-first-search constraint-satisfaction-problem depth-first-search hidden-markov-model kalman-filter minmax-algorithm networkx nltk numpy pandas scikit-learn scipy sympy

Last synced: 17 Feb 2025

https://github.com/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.

constraint-satisfaction-problem crossword-solver heuristics networkx

Last synced: 13 May 2025

https://github.com/black-panthera/university-resource-allocator

Student Management System in C++ - OOP university system managing BTech & DualDegree students with faculty.Features: Random data generation, faculty advisor assignment, CGPA-based project guides, hostel-based allocation, TA supervision, constraint validation, overlap analysis, multi-criteria sorting, and workload distribution tracking and lot more!

constraint-satisfaction-problem constraints cpp data-structures object-oriented-programming oops-in-cpp random-generation resource-allocation resource-management student-management-system

Last synced: 15 Jun 2025

https://github.com/nohomey/ai-in-fmi

Homeworks repo for the Artiﬁcial Intelligence course taken in FMI while beeing bachelor

ai artificial-intelligence constraint-satisfaction-problem cpp haskell homeworks k-means-implementation latex

Last synced: 02 Mar 2025

https://github.com/dtonhofer/sudoku_solver_in_java

A simple Sudoku Solver in Java

constraint-satisfaction-problem java sudoku sudoku-solver

Last synced: 26 Jun 2025

https://github.com/lucko515/sudoku-ai-solver

This is the first project for Artificial Intelligence Nanodegree @Udacity. Sudoku solver.

aind artificial-intelligence constraint-satisfaction-problem sudoku-solver

Last synced: 27 Mar 2025

https://github.com/lucko515/n-queens-ai

Solve N-Queens problem using constraint satisfaction. This is one of the projects in Artificial Intelligence Nanodegree @Udacity

aind artificial-intelligence constraint-satisfaction-problem n-queens

Last synced: 27 Mar 2025

https://github.com/albertsgrc/dancing-circle-optimizer

Find feasible dancing circles and optimize dancer pair height difference

constraint-satisfaction-problem dance optimization sardana

Last synced: 20 Mar 2025

https://github.com/owaismohsin001/socratespy

Embedded and integrated constraint logic programming for Python

constraint-logic-programming constraint-programming constraint-satisfaction-problem embedded-language logic-programming prolog prolog-implementation python python-constraints python3

Last synced: 28 Mar 2025

https://github.com/university-project-repos/ai__a-star_search

a-star algorithms alpha-beta-pruning artificial-intelligence computer-science constraint-satisfaction-problem graph-search machine-learning minimax optimisation path-finding planning-algorithms predicate-logic probabilistic-inference prolog propositional-logic python-3 software-engineering university-of-canterbury university-project

Last synced: 28 Mar 2025

https://github.com/caknoooo/fp_kecerdasan_buatan_d06

Kami dari kelas Kecerdasan Buatan D Kelompok 6 akan mengimplementasikan algoritma-algoritma yang telah diajarkan pada Final Project ETS kali ini

adversial-search algorthims constraint-satisfaction-problem kecerdasan-buatan localsearch

Last synced: 29 Mar 2025

https://github.com/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.

ai arc-consistency-algorithm artificial-intelligence backtracking constraint-satisfaction-problem pillow-library python

Last synced: 02 Mar 2025

https://github.com/sraaphorst/sudoku-cp

A Sudoku solver that models a Sudoku board as a constraint program and then solves it using Choco Solver.

choco-solver constraint-programming constraint-satisfaction-problem java java-10 sudoku sudoku-solver

Last synced: 23 Feb 2025

https://github.com/ahsan-83/sudoku

Simple Strategy Game Solution with Backtracking, Forward Checking, MRV and Value First heuristics

backtracking constraint-satisfaction-problem forward-checking java mrv-heuristic sudoku

Last synced: 17 Jun 2025

https://github.com/ltfschoen/aind-constraint_satisfaction

Term 1 Lab 9 (Optional) by Luke Schoen for Udacity Artificial Intelligence Nanodegree (AIND)

algorithms artificial-intelligence constraint-satisfaction-problem jupyter-notebook n-queens python36 sympy

Last synced: 28 Mar 2025

https://github.com/aathish04/minizincclasstimetable

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

c constraint-satisfaction-problem gtk4 minizinc

Last synced: 19 Feb 2025

https://github.com/norbjd/logic-games-csp

Logic games solver (Sudoku, Fubuki, Garam) using choco-solver

choco-solver constraint-satisfaction-problem java problem-solving

Last synced: 15 Mar 2025

https://github.com/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).

artificial-intelligence constraint-satisfaction-problem python3

Last synced: 17 Mar 2025