README.md

normaliz

Normaliz is a tool for computations in affine monoids, vector configurations, rational polyhedra, and rational cones. Normaliz now computes rational and algebraic polyhedra, i.e., polyhedra defined over real algebraic extensions of QQ.