Kayak, Hipmunk, Google Flights, Orbitz, and almost every other aggregator licenses ITA Software's system, actually. And most major airlines use it internally. It's good enough that it's pretty much the de facto standard and framework.