BDD
★ 0
updated 4y ago
⑂ fork
An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through dual block coordinate ascent.
No plain-English explanation yet — one is being written right now. Check back in a minute.