Sadly, none as good as Z3. I'd want to *study* Z3, even if I'd rather *use* some... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

sanxiyn on Oct 3, 2012 | parent | context | favorite | on: The Z3 theorem prover is now open source

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