amuwa / bdd Goto Github PK
View Code? Open in Web Editor NEWThis project forked from lpmp/bdd
An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through dual block coordinate ascent.
License: GNU General Public License v3.0