En omfattende nettbasert guide introduserer Microsofts SMT-løser Z3, med interaktive eksempler for å lære seg verktøyet.

Kilde: https://microsoft.github.io/z3guide/