3 ms·
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.
by greatgib 18d ago
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 18d agoOr a BMW, or a groundbreaking electro mechanical computer, depending :)
- number6 18d agoI was hoping for the mechanical computer...
- 112233 18d agooh, something new! I thought Z3 is SAT/SMT solver, they must have added something.
- IshKebab 18d agoIt is. Look up what SMT stands for.
- mcphage 18d agoShin Megami Tensei?
- NooneAtAll3 18d agoSMT is SAT+arithmetic, no?
- IshKebab 18d agoSatisfiability Modulo Theories
- baq 18d agowell a SAT solver is kinda sorta a theorem prover right...?
- Jaxan 18d agoSometimes 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.
- okokwhatever 18d agonailed!