Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
contextfree
on Oct 4, 2012
|
parent
|
context
|
favorite
| on:
The Z3 theorem prover is now open source
Wish someone would update the topic here, since it's not open source as per the generally understood definition ... (as the article's source has updated / corrected on his blog)
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: