The no commercial use thing is Microsoft speak for "We couldn't figure out how t... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

fredsanford on Oct 3, 2012 | parent | context | favorite | on: The Z3 theorem prover is now open source

The no commercial use thing is Microsoft speak for "We couldn't figure out how to make money with it, but if you do, give it to me."

:P

sadga on Oct 3, 2012 [–]

cough http://creativecommons.org/licenses/by-nc/2.0/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact