Online Z3 Guide

(microsoft.github.io)

15 points by Bluestein1 day ago

1 comments

  • greatgib33 minutes ago
    If anyone wondering, because it took me a few hops to find out:<p>Z3 is a high-performance theorem prover being developed at Microsoft Research.
    • Bluestein17 minutes ago
      Or a BMW, or a groundbreaking electro mechanical computer, depending :)
      • number68 minutes ago
        I was hoping for the mechanical computer...
    • 1122335 minutes ago
      oh, something new! I thought Z3 is SAT&#x2F;SMT solver, they must have added something.
      • Jaxan4 minutes ago
        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.