alt Hacker NewsIf anyone wondering, because it took me a few hops to find out:
Z3 is a high-performance theorem prover being developed at Microsoft Research.
Replies
Bluestein • today at 11:05 AM
Or a BMW, or a groundbreaking electro mechanical computer, depending :)
➕ show 1 reply
okokwhatever • today at 3:40 PM
nailed!
oh, something new! I thought Z3 is SAT/SMT solver, they must have added something.