Only check for overlaps in pairs that we haven't already checked: Attempt 2 - #14

Only check for overlaps in pairs that we haven't already checked: Attempt 2#14

james-d-mitchell merged 0 commit into

james-d-mitchell:improve-knuth-bendix-2-squashjames-d-mitchell/libsemigroups:improve-knuth-bendix-2-squashfrom

Joseph-Edwards:improve-knuth-bendix-2-squashJoseph-Edwards/libsemigroups:improve-knuth-bendix-2-squashCopy head branch name to clipboard