constraint-optimization

Simple OOP javaScript library to solve linear programs, and mixed integer linear programs

Neuromorphic mathematical optimization with Lava

COmpact SOlver for COnstrained problems

Data and code for Salesforce Research paper, GAEA: Graph Augmentation for Equitable Access via Reinforcement Learning - https://arxiv.org/abs/2012.03900 . The paper provides methods for constraint graph augmentation and optimal facility placement problems

Constraint-aware academic timetable generator - institution setup, subjects/faculty/rooms/batches, hard & soft constraints, conflict-free schedule generation with pattern avoidance, and PDF/Excel/CSV export. React + TypeScript + shadcn/ui, fully client-side.

AI-powered production scheduling with constraint satisfaction — optimizes across machines, materials, labor, and orders to maximize throughput and minimize tardiness

Combinatorial Decision Making and Optimization project on Very Large Scale Integration (VLSI) with Constraint Programming (CP), propositional SATisfiability (SAT), and Satisfiability Modulo Theories (SMT)

麦门圆桌（mcd-roundtable）｜五个 AI 人格辩论，逼出最优麦当劳订单。基于麦当劳 MCP（mcd-mcp / Model Context Protocol）的多智能体点餐决策 Skill：菜单、券、营养、价格全部来自官方接口，金额只认 calculate-price，绝不估算。凑单最省 / 优惠券最大化 / 营养配餐 / 一键下单。Multi-agent McDonald's MCP ordering skill.

Develop optimal solutions to a scheduling problem by modelling it as a Constraint Satisfaction Problem (CSP), a method used widely in the field of Artificial Intelligence.

全国大学生数学建模竞赛：A题 基于阿基米德螺线的板凳龙舞路径优化问题

What if ethics were part of the math? MAAT-Core is a Python library where safety is a hard constraint and optimization respects boundaries by design. A minimal framework for ethical AI, complex systems, and reproducible research.

NSGA-II based container loading optimizer balancing unloading order, vessel stability, slot utilization, and stacking constraints.

A smart duty scheduling application built with Streamlit and Google OR-Tools. Features automated roster optimization, multi-team support, fairness balancing, and configurable constraints.

Explainable full-stack room planner that turns style signals and hard budgets into constraint-valid purchasing strategies.

Finds optimal public transit station layouts in cities based on population density, road network, traffic demand

Commercial AI scheduling engine optimizing EMS staff rosters. Built with Java Swing and Answer Set Programming (ASP) via EmbASP.

Constraint Programming Final Project

Digital twin for endurance training: learns how each athlete responds to load, validated out of sample on 61 athletes, and plans the minimum load that works.

measuring market implied default probabilities

Local, explainable laundry load planning from real care constraints.