normaliz
libnormaliz
