Skip to content

Conversation

@benlorenz
Copy link
Member

No description provided.

@benlorenz benlorenz changed the title add graph equal and hash Graphs: add equality and hash Oct 8, 2025
@benlorenz benlorenz added topic: combinatorics release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes labels Oct 8, 2025
@benlorenz benlorenz marked this pull request as draft October 8, 2025 13:04
@benlorenz
Copy link
Member Author

Converted to draft as I just realized that I need to consider the graph-maps as well.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: combinatorics

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants