Stars
A standalone local search solver for general mixed integer programming
Shared-memory parallel minimum cut algorithms (inexact, exact, cactus, multiterminal)
Generic tensor networks for solution space properties.
A standalone local search solver for general mixed integer programming
Shared-memory parallel minimum cut algorithms (inexact, exact, cactus, multiterminal)
Generic tensor networks for solution space properties.