Lattice-based integer linear programming solver - View it on GitHub