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/

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact