3 ms·
> 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 abbrevia
by 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.