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

A JuMP-based Nonlinear Integer Program Solver

MIQP solver based on OSQP

BCP-MAPF – branch-and-cut-and-price for multi-agent path finding

A parallel branch-and-bound engine for Python. (https://pybnb.readthedocs.io/)

A Python package for visualizing the geometry of linear programs.

This is my implementation of a branch and price algorithm to solve the humanitarian aid distribution problem. This problem is a VRP with a specific objective function

A scoring program for gliding competitions striving for 100% accuracy and determinism

Elementary Shortest Path Problem with Resource Constraints

β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification

A C++ Framework for Optimization

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

Simple implementation of spatial skyline query algorithms

A Julia framework for implementing branch-and-bound-type algorithms

Java program to solve the 8 puzzle problem using branch and bound algorithm.

Python implementation of Travelling Salesman Problem (TSP) using branch-and-bound algorithm.

A module for solving linear programming problems on Python.

A software that assists a prospected proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rational QP solver powered by CGAL

Implementation of Simplex Algorithm and Branch & Bound Algorithm

Formulations for the robust Resource-Constrained Project Scheduling Problem (RCPSP) using Pyomo modelling.