Lattice algorithms using floating-point arithmetic
#
lattice-reduction
Repositories 2
Lattice-based integer linear programming solver
linear-programming
decision-procedure
lattice-reduction
haskell
haskell-bindings
solver
ilp
ilp-solver
haskell-api
yices
glpk
ntl
C++
Updated Aug 8, 2018