Skip to content

Add induced_subgraph#5244

Merged
benlorenz merged 5 commits intomasterfrom
bl/induced_subgraph
Aug 29, 2025
Merged

Add induced_subgraph#5244
benlorenz merged 5 commits intomasterfrom
bl/induced_subgraph

Conversation

@benlorenz
Copy link
Copy Markdown
Member

No description provided.

@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 Aug 27, 2025
Comment thread src/Combinatorics/Graphs/functions.jl Outdated
@benlorenz benlorenz force-pushed the bl/induced_subgraph branch from f84f9a9 to f14137c Compare August 29, 2025 13:50
Copy link
Copy Markdown
Collaborator

@antonydellavecchia antonydellavecchia left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me!

@benlorenz benlorenz merged commit 663b044 into master Aug 29, 2025
27 of 31 checks passed
@benlorenz benlorenz deleted the bl/induced_subgraph branch August 29, 2025 15:04
@fingolfin fingolfin changed the title graphs: add induced_subgraph Add induced_subgraph Sep 11, 2025
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