Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
lucian1900
on Oct 3, 2012
|
parent
|
context
|
favorite
| on:
The Z3 theorem prover is now open source
I meant that it doesn't allow arbitrary forking. There are cases in which it's illegal to keep using it, whereas with the GPL at most you'd have to release the derivative source to your (paying) users.
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: