JAR_2025_Blossom

This is a release associated with the paper:

Mohammad Abdulaziz and Kurt Mehlhorn. A Formal Correctness Proof of Edmonds’ Blossom Shrinking Algorithm. J. Autom. Reason.: 2025.