Microsoft Research company blog
The Z3 theorem prover is now open source
Explore research at Microsoft, a site featuring the impact of research along with publications, products, downloads, and research careers.
- Points
- 137
- HN comments
- 74
- Submissions
- 1
- Cited by
- 0 commenters
Open SourceSoftware Engineering2012
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Oct 3, 2012 | The Z3 theorem prover is now open source by taocp | 137 | 74 |
