A JuMP-based Nonlinear Integer Program Solver
Midstream of https://github.com/apache/incubator-kie-optaplanner
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.readthedoc...
A Python package for visualizing the geometry of linear programs.
This is my implementation of a branch and price algorithm to solve the h...
β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints f...