Skip to content

Fix #241: [Rule] PartitionIntoPathsOfLength2 -> BoundedComponentSpanningForest#794

Closed
zazabap wants to merge 1 commit intomainfrom
worktree-agent-a1e00841
Closed

Fix #241: [Rule] PartitionIntoPathsOfLength2 -> BoundedComponentSpanningForest#794
zazabap wants to merge 1 commit intomainfrom
worktree-agent-a1e00841

Commits