Online Z3 Guide
27 points by Bluestein 2 days ago | 6 comments
  • greatgib 2 hours 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 2 hours ago |
      Or a BMW, or a groundbreaking electro mechanical computer, depending :)
      • number6 2 hours ago |
        I was hoping for the mechanical computer...
    • 112233 2 hours ago |
      oh, something new! I thought Z3 is SAT/SMT solver, they must have added something.
      • Jaxan an hour 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.
      • IshKebab an hour ago |
        It is. Look up what SMT stands for.