Online Z3 Guide

 (microsoft.github.io)

28 points | by Bluestein 1 day ago

1 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.

    [-]
    • 112233 1 hour ago
      oh, something new! I thought Z3 is SAT/SMT solver, they must have added something.
      [-]
      • Jaxan 1 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 1 hour ago
        It is. Look up what SMT stands for.
    • Bluestein 2 hours ago
      Or a BMW, or a groundbreaking electro mechanical computer, depending :)
      [-]
      • number6 1 hour ago
        I was hoping for the mechanical computer...