Publishing details

• Published on 2013-04-15

Changelog

z3 (4.3.1.1-ubuntu1) precise; urgency=low

  * Initial release
 -- maeder <email address hidden>   Thu, 11 Apr 2013 13:49:49 +0200

Builds

• amd64
• i386

Built packages

• z3 Z3 is a high-performance theorem prover being developed at Microsoft Research.

Package files

• z3_4.3.1.1-ubuntu1.debian.tar.gz (1.4 KiB)
• z3_4.3.1.1-ubuntu1.dsc (1.3 KiB)
• z3_4.3.1.1-ubuntu1_amd64.deb (15.9 MiB)
• z3_4.3.1.1-ubuntu1_i386.deb (15.7 MiB)
• z3_4.3.1.1.orig.tar.gz (2.6 MiB)