23 results found Sort:

VIP cheatsheets for Stanford's CS 221 Artificial Intelligence
Created 2019-05-24
41 commits to master branch, last one 5 years ago
119
890
apache-2.0
27
JMLR: OmniSafe is an infrastructural framework for accelerating SafeRL research.
Created 2022-11-19
189 commits to main branch, last one 3 months ago
146
703
bsd-4-clause
48
An open-source Java library for Constraint Programming
Created 2011-11-04
6,365 commits to master branch, last one 5 days ago
Constraint Solving Problem resolver for Python
Created 2015-10-04
214 commits to main branch, last one 17 hours ago
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
Created 2023-01-27
70 commits to main branch, last one 8 months ago
WFC (Wave Function Collapse) and generic constraint satisfaction problem solver implementation for Godot 4
Created 2023-06-02
67 commits to master branch, last one 4 months ago
gophersat, a SAT solver in Go
Created 2017-09-27
199 commits to master branch, last one about a year ago
76
285
other
25
Generic Constraint Development Environment
Created 2015-11-06
5,620 commits to master branch, last one 5 years ago
Source Code for the Book Classic Computer Science Problems in Swift
Created 2017-04-05
46 commits to master branch, last one about a year ago
Optimally allocate poker chips using constrained, nonlinear optimization
Created 2024-02-14
156 commits to master branch, last one about a month ago
An Open Source .Net Constraint Programming Solver
Created 2013-06-14
189 commits to main branch, last one 2 months ago
Implementation of the overlapping model of the Wave Function Collapse algorithm
Created 2023-01-08
34 commits to master branch, last one 8 months ago
11
81
apache-2.0
6
A Constraint Satisfaction Problem Solver in Pure Swift
Created 2015-07-22
69 commits to master branch, last one 2 years ago
A Python package for automatic and optimized resource scheduling
Created 2020-12-21
992 commits to master branch, last one 16 days ago
A Python Library for modeling combinatorial constrained problems
Created 2019-12-14
741 commits to master branch, last one 7 days ago
9
61
apache-2.0
3
Constraint Satisfaction Problem Solver for Golang
Created 2018-08-25
46 commits to master branch, last one 2 years ago
7
60
mit
5
DDO a generic and efficient framework for MDD-based optimization.
Created 2020-02-21
447 commits to master branch, last one about a month ago
ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models
Created 2024-01-17
5 commits to main branch, last one 10 months ago
Determine a schedule for running a set of jobs.
This repository has been archived (exclude archived)
Created 2019-11-16
103 commits to master branch, last one about a month ago
A demo of a nurse scheduling model
Created 2020-04-08
66 commits to master branch, last one about a year ago
Crossword-generating library and CLI tool
Created 2022-10-16
98 commits to main branch, last one about a month ago
NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains
Created 2024-04-22
636 commits to main branch, last one 12 hours ago