Jump to content

Z3

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by A bit iffy (talk | contribs) at 05:27, 12 May 2023 (Other uses: clarify). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Z3 may refer to:

Mobile phones

Computing

  • 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

Other uses

See also