* LattE [#v463beba] - http://www.math.ucdavis.edu/~latte/ - LattE is a computer software dedicated to the problems of counting and detecting lattice points inside convex polytopes, and the solution of integer programs. [[:included in knxm:]]