branch-and-bound topic
igc-xc-score
A scoring program for gliding competitions striving for 100% accuracy and determinism
DSA-GeeksClasses
DSA-Self Paced With Doubt Assistance Course Solutions in Python (Python 3)
incubator-kie-optaplanner
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Juniper.jl
A JuMP-based Nonlinear Integer Program Solver
miosqp
MIQP solver based on OSQP
pybnb
A parallel branch-and-bound engine for Python. (https://pybnb.readthedocs.io/)
bcp-mapf
BCP-MAPF – branch-and-cut-and-price for multi-agent path finding
8-puzzle
Java program to solve the 8 puzzle problem using branch and bound algorithm.
vrp-espprc
Elementary Shortest Path Problem with Resource Constraints
Beta-CROWN
β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification