1. CLRS-Lean
  2. Chapter 24. Single-Source Shortest Paths
  3. 24.4. Difference Constraints and Shortest Paths
Imports
import CLRSLean.FourthEdition.Chapter_22.Section_22_4_Difference_Constraints

Section 24.4 - Difference constraints and shortest paths (legacy compatibility path)

Third-edition-numbered compatibility path for difference constraints and shortest paths. The canonical fourth-edition source is CLRSLean.FourthEdition.Chapter_22.Section_22_4_Difference_Constraints; this module forwards to it so legacy imports keep working during the compatibility period (see docs/migrations/clrs4.md).