a Package for Analyzing Lattice Polytopes
