2 results found Sort:

GaloisInc
blt GaloisInc
10
65
mit
41
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 2 years ago
LPMP
BDD LPMP
9
53
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 about a month ago