Biblioteca para cálculo de grupos de automorfismos e formas canônicas de gráficos
