Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
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 W25 batch! Applications are open till Nov 12.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
:P