Man pages matching name nauty-productg in section 1:

nauty-productg.1.en

debian 12 / nauty