Z3

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Z3 may refer to:

Mobile phones

[edit | edit source]

Computing

[edit | edit source]
  • Z3 (computer), the world's first working programmable, fully automatic digital computer created by Konrad J 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 | edit source]

Other uses

[edit | edit source]

See also

[edit | edit source]

__DISAMBIG__