Microsoft выпустила онлайн-руководство по Z3
Online Z3 Guide
Microsoft Research опубликовала интерактивный гайд по Z3 — инструменту для решения задач выполнимости. Доступны учебник по SMTLIB, примеры программирования на JavaScript, песочница для свободного редактирования и ссылки на API, слайды и вики. Проект с открытым исходным кодом на GitHub, версия z3-solver 5.0.0.
Z3 Guide