YHK - yet another hacker news clone

Online Z3 Guide

17 points Bluestein 1 day ago 6 comments

greatgib 1 hour ago | parent

If anyone wondering, because it took me a few hops to find out:

Z3 is a high-performance theorem prover being developed at Microsoft Research.

Bluestein 1 hour ago | parent

Or a BMW, or a groundbreaking electro mechanical computer, depending :)

number6 54 minutes ago | parent

I was hoping for the mechanical computer...

112233 51 minutes ago | parent

oh, something new! I thought Z3 is SAT/SMT solver, they must have added something.

Jaxan 49 minutes ago | parent

Sometimes you can use SMT for “theorem proving”. It is a rather broad term. I don’t think they added something much different than what they already had.

IshKebab 20 minutes ago | parent

It is. Look up what SMT stands for.