Skip to content

Adjusting output of DigraphColourRefinement and moving code to oper.tst

4935b0a
Select commit
Loading
Failed to load commit list.
Merged

Implementing Colour Refinement #905

Adjusting output of DigraphColourRefinement and moving code to oper.tst
4935b0a
Select commit
Loading
Failed to load commit list.