1. Programming Z3 (z3prover.github.io)