- 79comments
- 63comments
- 311comments
- 1comments
- 2comments
- 44comments
- 77comments
- 27comments
- 122comments
- 109comments
- 6comments
- 135comments
- 20comments
- 252comments
- 1comments
- 22comments
- 25comments
- 170comments
- 34comments
- 19comments
- 246comments
- 2comments
- 61comments
- 31comments
- 377comments
- 92comments
- 60comments
- 75comments
- 84comments
- 88comments
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.
Or a BMW, or a groundbreaking electro mechanical computer, depending :)
I was hoping for the mechanical computer...
oh, something new! I thought Z3 is SAT/SMT solver, they must have added something.
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.
It is. Look up what SMT stands for.