BLT

https://github.com/galoisinc/blt

BLT is a C/C++ library for solving integer linear programming problems using lattice theory...

Tokens:6,821
Snippets:15
Trust Score:8.3
License:MIT
Update:10 months ago
Tokens:
Raw