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

A C++ Framework for Optimization

Elementary Shortest Path Problem with Resource Constraints

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

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

Simple implementation of spatial skyline query algorithms

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

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

A module for solving linear programming problems on Python.

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

A Python implementation of a branch-and-bound approach (plus a simple greedy heuristic) to solve a variation of the multiple knapsack problem where items have both individual and pairwise benefits.

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

Implementation of Simplex Algorithm and Branch & Bound Algorithm