On: The Z3 Theorem Prover released under MIT license

[wslh]

$ 10,000 seems like a magic number. Another Microsoft Research project, Detours [1] costs $ 9,999.95.

[1] http://www.microsoftstore.com/store/msus/en_AU/pdp/Microsoft...

[raverbashing → wslh]

Yes

It's cheap enough for a company to buy it without many signatures, but also on the upper scale of what people who "don't want Open Source" can pay.