- 54comments
- 21comments
- 304comments
- 37comments
- 72comments
- 74comments
- 24comments
- 121comments
- —discuss
- 43comments
- 1comments
- 6comments
- 18comments
- 122comments
- 243comments
- 18comments
- 160comments
- 22comments
- 34comments
- 16comments
- 245comments
- 28comments
- 363comments
- 55comments
- 88comments
- 78comments
- 58comments
- 69comments
- 72comments
- 82comments
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.