POLYMAKE-CONFIG(1) - manual page | User commands

Script to get information about the installed version of polymake.