1 result found Sort:

GaloisInc
blt GaloisInc
10
65
mit
40
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