Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Z3: A high-performance theorem prover from Microsoft Research
(z3.codeplex.com)
129 points
tchajed
13 years ago
48 comments
2.
▲
Z3: a high-performance theorem prover being developed at Microsoft Research
(z3.codeplex.com)
3 points
luu
12 years ago
discuss