> When I was at MSR I heard the rumor that they wanted to sell Z3, not open-source it!
It has already been pointed out that they didn't open-source Z3, they just made the source code available under the same license the binary already was. I would add that they have been selling Z3 for a long time: