Jump to content

Z3

From Wikipedia, the free encyclopedia

Z3may 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 InfocomZ-machine

Vehicles

[edit]

Other uses

[edit]

See also

[edit]