Skip to content

Fix bug where rem_edge! on PartitionedGraph would not remove edge when final edge in quotient edge.#174

Merged
mtfishman merged 2 commits into
mainfrom
jd/fix-rem_edge!
Jun 30, 2026
Merged

Fix bug where rem_edge! on PartitionedGraph would not remove edge when final edge in quotient edge.#174
mtfishman merged 2 commits into
mainfrom
jd/fix-rem_edge!

Commits

Commits on Jun 30, 2026