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