Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
ajb
on Oct 3, 2012
|
parent
|
context
|
favorite
| on:
The Z3 theorem prover is now open source
Non-commercial only. There are several similar projects some of which are
really
open source:
http://smtlib.cs.uiowa.edu/solvers.html
sanxiyn
on Oct 3, 2012
[–]
Sadly, none as good as Z3. I'd want to
study
Z3, even if I'd rather
use
something else. The current license is good enough for studying.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
