An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through dual block coordinate ascent.
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).