add generalized basis reduction based ILP solver