In this paper we introduce the version 2.5 of Normaliz , a program for the computation of Hilbert bases of rational cones and the normalizations of affine monoids. It may also
be used for solving diophantine linear systems of inequalities, equations and congruences. We present some of the new features
of the program, as well as some recent achievements.