SymMIP.jl: Symmetry analysis for MIPs
Published:
Detect the formulation symmetry group of a MILP model, and display the orbits and the generators of this group. Github
Software
Traces.jl: A traces wrapper for graph canonical labeling and automorphism group computation
Published:
A simple julia wrapper for traces. Github
cbp: branch-and-price algorithms for conic submodular binpacking
Published:
Binpacking is an important combinatorial problem in operations research. Conic submodular binpacking generalizes the classical binpacking problem to nonlinear setting, and it can formulate the chance-constrained binpacking, the distributionally robust binpacking etc. cbp implements several branch-and-price algorithms to solve the conic submodular binpacking problems. Github
cflg: an algorithmic toolkit for continuous set covering on networks
Published:
Facility location is an important appication in operations research. Continuous set covering on networks generalizes the classical dicrete set covering problems in graphs, which allows both the demands and facilities continuously locating in edges. cflg contains several algorithms for solving continuous set covering on networks. cflg is written in Julia based on JuMP. Github
wUMCFC: a solver for wireless unsplittable multi-commodity flow routing with network coding
Published:
wUMCFC is a specialized branch-and-price (BP) based solver for unsplittable multi-commodity flow routing with network coding. Unsplittable multi-commodity flow is a fundamentel problem in network optimization. wUMCFC uses network coding to decrease the routing cost and increase the capacity usage for wireless networks. Github