Code

Speedups, bugfixes, free variables#34

Code

Merged

DanielBrosch merged 3 commits intomainDanielBrosch/FlagSOS.jl:mainfrom NautyDanielBrosch/FlagSOS.jl:NautyCopy head branch name to clipboardNov 7, 2024

+1,634-472

Commits

Commits on Aug 7, 2024

• faster

  DanielBrosch

  committed
  db74cb2

  Copy full SHA for db74cb2

Commits on Nov 6, 2024

• small fixes

  DanielBrosch

  committed
  b0d6407

  Copy full SHA for b0d6407

Commits on Nov 7, 2024

• Merge remote-tracking branch 'origin/main' into Nauty

  DanielBrosch

  committed
  0f60ad8

  Copy full SHA for 0f60ad8