3 ms·
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 no
by vonuebelgarten 8y ago
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.
- msla 8y ago> I am sure I was not the first to think it was related to Konrad Zuse's Z3. The Zuse Z3 is literally the only thing I know of which hooks up with the abbreviation "Z3" in the context of computers.
- nickpsecurity 8y agoOn contrary, there's tons of papers published today referencing Z3, Why3, and so on. I immediately knew they meant the solver since that's the Z3 people use most today.
- fizixer 8y agoI thought Z3 is some cousin of the Z80 microprocessor.
- NikolaNovak 8y agoOh, I just assumed that it was about re-programming the manufacturer Engine Control Unit [ECU] of a BMW Z3 :-)
- dang 8y agoOk, we changed the title to that from "Programming Z3".