Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for constraint satisfaction problem
constraint-satisfaction-problem
x
59 search results found
Stanford Cs 221 Artificial Intelligence
⭐
1,578
VIP cheatsheets for Stanford's CS 221 Artificial Intelligence
Omnisafe
⭐
831
OmniSafe is an infrastructural framework for accelerating SafeRL research.
Choco Solver
⭐
654
An open-source Java library for Constraint Programming
Python Constraint
⭐
384
Constraint Solving Problem resolver for Python
Gophersat
⭐
353
gophersat, a SAT solver in Go
Safety Gymnasium
⭐
258
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
Gecode
⭐
251
Generic Constraint Development Environment
Classiccomputerscienceproblemsinswift
⭐
184
Source Code for the Book Classic Computer Science Problems in Swift
Godot Constraint Solving
⭐
178
WFC (Wave Function Collapse) and generic constraint satisfaction problem solver implementation for Godot 4
Decider
⭐
120
An Open Source .Net Constraint Programming Solver
Swiftcsp
⭐
72
A Constraint Satisfaction Problem Solver in Pure Swift
Csp.js
⭐
54
Constraint Satisfaction Problem Solving (CSP): A Constraint solver in JavaScript
Wavefunctioncollapse
⭐
51
Implementation of the overlapping model of the Wave Function Collapse algorithm
Ddo
⭐
50
DDO a generic and efficient framework for MDD-based optimization.
Pycsp3
⭐
50
A Python Library for modeling combinatorial constrained problems
Processscheduler
⭐
48
A Python package for automatic and optimized resource scheduling
Job Shop Scheduling
⭐
40
Determine a schedule for running a set of jobs.
Nurse Scheduling
⭐
38
A demo of a nurse scheduling model
Centipede
⭐
34
Constraint Satisfaction Problem Solver for Golang
Factoring
⭐
33
Factor numbers using a quantum computer
Ghost
⭐
33
General meta-Heuristic Optimization Solving Toolkit
Ordered
⭐
28
Entropy-controlled contexts in Python
Sudoku
⭐
26
Solve a Sudoku puzzle with a quantum computer
Circuit Fault Diagnosis
⭐
25
Find possible failing components on a circuit.
Satellite Placement
⭐
25
Group satellites into constellations such that their average observation coverage is maximized
Knapsack
⭐
25
Implementation of knapsack problem, set up for scaling to large problem size
3d_path_planning
⭐
23
AI project for 3D Path Planning. Other details and running instructions can be found on the Readme.md file
Clustering
⭐
22
Using a quantum computer to cluster data points
Artificial Intelligence
⭐
22
IIIT Allahabad B. Tech. (IT) 5th Semester Artificial Intelligence Lab Assignments + HackerRank Artificial Intelligence Track
Facile
⭐
21
Python constraint programming library
Timetabler
⭐
20
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
Safe Pdp
⭐
19
Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad class of safety-critical learning and control tasks.
Ace
⭐
19
Constraint Solver ACE
Graph Partitioning
⭐
17
Split a graph into two groups
Artificial Intelligence Assignments
⭐
16
A List of all the Artificial Intelligence Assignment
Ingrid_core
⭐
15
Crossword-generating library and CLI tool
Csp Rules V2.1
⭐
13
A general pattern-based solver of finite Constraint Satisfaction problems
Setintersectionprojection.jl
⭐
10
Constrained optimization
Udacity Aind
⭐
10
A repository of multiple projects and labs done in the Udacity Artificial Intelligence Nanodegree (aind).
Modernapproachaiexercices
⭐
9
Artificial Intelligence A Modern Approach 4th edition exercices.
Ai Sudoku
⭐
8
Solving sudoku puzzle using backtracking and AC-3
Cosoco
⭐
8
COmpact SOlver for COnstrained problems
Pcsptools
⭐
8
Tools for checking identities in polymorphism minions. Mostly.
Maze
⭐
8
Simple example on how to construct a problem for a quantum computer
Factoring Notebook
⭐
7
Factor numbers using a quantum computer.
Cryptarithmetic
⭐
7
Solve cryptarithmetic addition puzzles using the LeapHybridCQMSampler.
Streamline Vi Csp
⭐
7
N Queens
⭐
7
Demonstrates how to formulate the n-queens problem as a QUBO, which we then solve using Leap’s hybrid solvers.
Antenna Selection
⭐
7
Demonstrate a max independent set problem with antennas
Map Coloring
⭐
7
Select the colors used on the different regions of a map
Solving Csp Using Rat
⭐
6
Project which uses algorithms involving Backtracking to solve Constraint Satisfaction Problems. CSE Sem-I Project 2022
Swinemeeper
⭐
6
Minesweeper solvers
Ai_projects
⭐
6
AUT Principles and Applications of Artificial Intelligence course (Fall 2020) projects
Timetablescheduler
⭐
5
Solve time table scheduling using `Constraint Satisfaction Problem`
N Queens Sat
⭐
5
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.
Answer Set Programming Algorithms
⭐
5
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
Sudoku Solver Csp
⭐
5
Sudoku solver using various Constraint Satisfaction heuristics
Kenken Solver
⭐
5
KenKen puzzle solver using csp modeling
Classic Computer Science Problems In Kotlin
⭐
5
Source Code for the Book Classic Computer Science Problems in Kotlin
1-59 of 59 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.