alt Hacker Newsoh, something new! I thought Z3 is SAT/SMT solver, they must have added something.
Replies
baq • today at 3:17 PM
well a SAT solver is kinda sorta a theorem prover right...?
oh, something new! I thought Z3 is SAT/SMT solver, they must have added something.
well a SAT solver is kinda sorta a theorem prover right...?
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.