VIP cheatsheets for Stanford's CS 221 Artificial Intelligence
OmniSafe is an infrastructural framework for accelerating SafeRL research.
An open-source Java library for Constraint Programming
Constraint Solving Problem resolver for Python
gophersat, a SAT solver in Go
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Be...
Generic Constraint Development Environment
Source Code for the Book Classic Computer Science Problems in Swift
Midstream of https://github.com/apache/incubator-kie-optaplanner
AI project for 3D Path Planning. Other details and running instructions ...
A Constraint Satisfaction Problem Solver in Pure Swift
random stuff in prolog
DDO a generic and efficient framework for MDD-based optimization.
Entropy-controlled contexts in Python
A customizable timetabling software for educational institutions that en...