AWS Used Constraint Programming to Calculate NHL Playoff Clinching Scenarios with Mathematical Certainty

AWS built a constraint-programming tool that proves, with certainty, exactly when an NHL team clinches a playoff spot.