Hi everyone, after importing this patch by Benjamin Lorenz, it is now possible to compile polymake without having access to the nauty sources. Unfortunately, this patch introduces a regression in the testsuite: *** Testing in application common *** testing Examples: [ /common/property_types/Set Type...