Geeks
GaloisInc
/
blt
Lattice-based integer linear programming solver
Primary Language
C++
MIT License
MIT
blt GitHub
Markdown
Readme
2
Issues
65
Stargazers
40
Watchers
Issues
Open issue
QuickCheck error
#4 opened
5 years ago
by
robdockins
0
Closed issue
On some OSX installs build fails with undefined gmp symbols
#1 opened
8 years ago
by
dagit
4