GitHub repository: GaloisInc/blt
Primary language: C++
Created: 2016-11-15T18:13:09Z
Description: Lattice-based integer linear programming solver