z3prover.github.io
Online papers
Programming Z3
Supercharging plant configurations, CPAIOR 2021
Z3 Internals