Lattice-based integer linear programming solver
haskell solver linear-programming haskell-bindings ilp glpk decision-procedure lattice-reduction haskell-api ntl ilp-solver yices
-
Updated
Jul 18, 2021 - C++