Microsoft publica una guía interactiva para Z3
Online Z3 Guide
La documentación oficial de Z3 ya está disponible en línea. Incluye un tutorial de SMTLIB, ejemplos de programación en Python y JavaScript, y un playground para editar y ejecutar consultas directamente en el navegador. El material complementa la API, las diapositivas y el wiki del proyecto, facilitando el aprendizaje del demostrador de teoremas.
Programming Z3 in Python