normaliz.lib
LIB "normaliz.lib"; setNmzOption("only_hvect",1); showNmzOptions(); resetNmzOptions(); showNmzOptions();