Repositories list

• BDD

  Public
  An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through dual block coordinate ascent.

  ilp-solvergpuoptimization

  C++

  •

  GNU General Public License v3.0

  •11•57•1•0•Updated May 13, 2024May 13, 2024

• LPMP

  Public
  Solving LPs with convergent message passing

  C++

  •22•63•8•1•Updated Jan 24, 2023Jan 24, 2023

• equality-knapsack

  Public
  CMake

  •

  BSD 2-Clause "Simplified" License

  •0•0•0•0•Updated Oct 18, 2018Oct 18, 2018

• horizon-tracking

  Public
  C++

  •0•1•0•0•Updated Sep 6, 2018Sep 6, 2018