Popular GitHub Repositories for Constraint Satisfaction

Probabilistic language based on pattern matching and constraint propagation, 153 examples

A language for constraint-guided and efficient LLM programming.

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

VIP cheatsheets for Stanford's CS 221 Artificial Intelligence

The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

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

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

基于在线民宿 UGC 数据的意见挖掘项目，包含数据挖掘和NLP 相关的处理，负责数据采集、主题抽取、情感分析等任务。目的是克服用户打分和评论不一致，实时对在线民宿的满意度评测，包含在线评论采集和情感可视化分析。搭建了百度地图POI查询入口，可以进行自动化的批量查询 POI 信息的功能；构建了基于在线民宿语料的 LDA 自动主题聚类模型，利用主题中心词能找出对应的主题属性字典；以用户打分作为标注，然后 litNlp 自带的字符级 TextCNN 进行情感分析，将情感分类概率分布作为情感趋势，最后通过 POI 热力图的方式对不同地域的民宿满意度进行展示。软件版本请见链接。

Run Effective Large Batch Contrastive Learning Beyond GPU/TPU Memory Constraint

OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.

OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems.

Causal discovery algorithms and tools for implementing new ones

Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.

python implementation of the paper: "Efficient Image Dehazing with Boundary Constraint and Contextual Regularization"

An NLP library for Uralic languages such as Finnish, Skolt Sami, Moksha and so on. Also supporting some non-Uralic languages such as Spanish, French, Arabic, Swedish, Norwegian, Russian and English. LLMs, FSTs and More!

Codes accompanying the paper "Believe What You See: Implicit Constraint Approach for Offline Multi-Agent Reinforcement Learning" (NeurIPS 2021 Spotlight https://arxiv.org/abs/2106.03400)

[ICCV 2023] When Epipolar Constraint Meets Non-local Operators in Multi-View Stereo

Neuromorphic mathematical optimization with Lava

Lexically constrained text generation with CBART.

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