> 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:
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:
http://www.microsoftstore.com/store/msstore/en_US/pd/product...
It has been there since 2011 according to my “archives”:
http://blog.frama-c.com/index.php?post/2011/12/23/Z3-in-Micr...