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
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
NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains
β-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
#算法刷题#Python implementation of Travelling Salesman Problem (TSP) using branch-and-bound algorithm.
A Julia framework for implementing branch-and-bound-type algorithms
Java program to solve the 8 puzzle problem using branch and bound algorithm.
A module for solving linear programming problems on Python.
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.
Implementation of Simplex Algorithm and Branch & Bound Algorithm