A Dumb Introduction to z3 using Rust