https://www.normaliz.uni-osnabrueck.de/
