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...

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact