1. CLRS-Lean
  2. Chapter 23. Minimum Spanning Trees
  3. 23.2. Kruskal and Prim
Imports
import CLRSLean.FourthEdition.Chapter_21.Section_21_2_Kruskal_And_Prim

Section 23.2 - Kruskal and Prim (legacy compatibility path)

Third-edition-numbered compatibility path for the Kruskal and Prim algorithms. The canonical fourth-edition source is CLRSLean.FourthEdition.Chapter_21.Section_21_2_Kruskal_And_Prim; this module forwards to it so legacy imports keep working during the compatibility period (see docs/migrations/clrs4.md).