2 results found Sort:

GaloisInc
blt GaloisInc
10
65
mit
44
Lattice-based integer linear programming solver
ilp ntl glpk yices solver haskell ilp-solver haskell-api haskell-bindings lattice-reduction decision-procedure linear-programming
Created 2016-11-15
24 commits to master branch, last one 3 years ago
LPMP
BDD LPMP
11
57
gpl-3.0
2
An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through dual block coordinate ascent.
gpu ilp-solver optimization
Created 2020-10-07
475 commits to main branch, last one 7 months ago