3 ms·
oh, something new! I thought Z3 is SAT/SMT solver, they must have added something.
by 112233 17d ago
oh, something new!
I thought Z3 is SAT/SMT solver, they must have added something.
- IshKebab 17d agoIt is. Look up what SMT stands for.
- mcphage 17d agoShin Megami Tensei?
- NooneAtAll3 17d agoSMT is SAT+arithmetic, no?
- IshKebab 17d agoSatisfiability Modulo Theories
- baq 17d agowell a SAT solver is kinda sorta a theorem prover right...?
- Jaxan 17d 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.