Anyone able to find a link to the code? I have been looking around but I can onl... | Hacker News

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

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

Anyone able to find a link to the code? I have been looking around but I can only seem to find the binaries.

apawloski on Oct 3, 2012 [–]

It's on codeplex http://z3.codeplex.com/SourceControl/changeset/view/9823ee3b...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact