When Southwest Airlines Co. reassigns crews after flight disruptions, it typically relies on a system called SkySolver. This Christmas, SkySolver not only didn’t solve much, it also helped create the worst industry meltdown in recent memory.

Airline executives and labor leaders