Programming the Z3 SMT solver
This is an example of title that could benefit from a simple, non-editorialized, and purely factual change: "Programming the Z3 SMT solver".I am sure I was not the first to think it was related to Konrad Zuse's Z3.