Jump to content

Z3

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by World Metro (talk | contribs) at 06:00, 25 January 2024 (I think expanding disambiguations is my favourite thing to do on wikipedia). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Z3 may refer to:

Mobile phones

[edit]

Computing

[edit]
  • Z3 (computer), the world's first working programmable, fully automatic digital computer created by Konrad Zuse
  • Z3 Theorem Prover, a satisfiability modulo theories solver by Microsoft
  • .Z3, a file extension for story files for the Infocom Z-machine

Vehicles

[edit]

Other uses

[edit]

See also

[edit]