Sparse nauty single call#19

jesselansdown wants to merge 2 commits intogap-packages:mastergap-packages/NautyTracesInterface:masterfrom

jesselansdown:SparseNautySingleCalljesselansdown/NautyTracesInterface:SparseNautySingleCallCopy head branch name to clipboard