Timo Kaufmann d0e171395a nauty: 26r12 -> 27r1 ... Changes: http://pallini.di.uniroma1.it/changes24-27.txt		2020-05-20 14:59:46 +02:00
..
default.nix	nauty: 26r12 -> 27r1	2020-05-20 14:59:46 +02:00