Graph theory algorithms, especially related to isomorphism.
Modules
| graphs | graphs (as known form graph theory) |
| matrix | matrices (as known from linear algebra) |
| moddec | modular decompositions |
| indref | (quite naive version of) individualization-refinement procedure. |
| rationals | rationals (as known from school algebra) |
| wl | k-dim Weisfeiler-Lehman algorithm |
| genref | generalized refinement |
| graph6 | read and write nauty's graph6 format |
| oo | general purpose functions for object-oriented programming and more Version: 20230621 |