update sources to nauty2_8_8

pdobsan · Jun 6, 2024 · 99ae3c7 · 99ae3c7
1 parent 010ef80
commit 99ae3c7
Show file tree

Hide file tree

Showing 186 changed files with 99,493 additions and 16,573 deletions.
diff --git a/src/nauty2_8_6/genspecialg.c b/src/nauty2_8_6/genspecialg.c
diff --git a/src/nauty2_8_6/gentourng.c b/src/nauty2_8_6/gentourng.c
diff --git a/src/nauty2_8_6/nautesta.ans b/src/nauty2_8_6/nautesta.ans
diff --git a/src/nauty2_8_6/nautestc.ans b/src/nauty2_8_6/nautestc.ans