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

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

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.

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

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

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

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

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.

measuring market implied default probabilities

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

Plan trips around live events: track artist/comedy/sports tour dates via Bandsintown, map them, and organise no-payment group trips. Single-file Streamlit prototype - a preference-weighted optimiser and its eval are roadmap, not yet built.

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

Workforce scheduling platform with Flask, OR-Tools CP-SAT optimization, and React Native/Expo mobile app

Local, explainable laundry load planning from real care constraints.

Powered Lift Wing and Propeller Design. Inter-IIT Tech Meet 14.0 LAT Aerospace High Prep PS