Before Microsoft released the Z3 SMT solver under an MIT license, you could buy a commercial license for it for $9999 from the Microsoft online store, just like

Before Microsoft released the Z3 SMT solver under an MIT license, you could buy a commercial license for it for $9999 from the Microsoft online store, just like you'd buy a copy of Windows or Office, or, for that matter, an XBox. Of course, that's nowhere near as expensive as lots of other enterprise software, but it was as "off-the-shelf" as you could get short of your local Fry's or Best Buy. No "call us for details" pricing, per-core licensing, recurring subscriptions and support contracts... just old-fashioned software sold directly as a product. Unfortunately, I can't find screenshots now, so I'm just going off my hazy memories and the details might be a bit off :P