z3 - theorem prover from Microsoft Research

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package name z3
Package version 4.4.1
Package release 0.3+b1
Package architecture i386
Package type deb
Installed size 17.52 KB
Download size 5.48 MB
Official Mirror ftp.br.debian.org
Description -


Package Version Architecture Repository
z3_4.4.1-0.3+b1_amd64.deb 4.4.1 amd64 Debian Main
z3 - - -


Name Value
libc6 >= 2.4
libgcc1 >= 1:7
libgomp1 >= 4.9
libstdc++6 >= 5.2


Type URL
Binary Package z3_4.4.1-0.3+b1_i386.deb
Source Package z3

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install z3 deb package:
    # sudo apt-get install z3




2016-09-25 - Gianfranco Costamagna <locutusofborg@debian.org>
z3 (4.4.1-0.3) unstable; urgency=medium
* Non-maintainer upload.
[ Fabian Wolff ]
* debian/patches/f02d273ee39ae047222e362c37213d29135dc661.patch:
Fix build failure with new gnu++14 standard. (Closes: #835754)
* debian/patches/27399309009314f56cdfbd8333f287b1a9b7a3a6.patch:
Fix build failure with new compiler and clang. (Closes: #835743)
[ Gianfranco Costamagna ]
* debian/patches/fix-build.patch: tweak the casts a little bit
more to really fix 835743.
2016-07-19 - Fabian Wolff <fabi.wolff@arcor.de>
z3 (4.4.1-0.2) unstable; urgency=medium
* Non-maintainer upload.
* Add patch kfreebsd.patch to attempt to fix a FTBFS on kfreebsd-*.
* Adjust avoid-ocamlopt.patch to remove all calls to ocamlopt.
* Build libz3-cil only where Mono is available.
* Build libz3-jni and libz3-java only where Java is available.
* Remove enable-dotnet.patch and recreate its effect with sed in
debian/rules depending on whether Mono is available or not.
* Disable some tests that might fail on some platforms.
Forwarded: https://github.com/Z3Prover/z3/issues/687
* Enable hardening flags for libz3-ocaml-dev.
2016-07-13 - Fabian Wolff <fabi.wolff@arcor.de>
z3 (4.4.1-0.1) unstable; urgency=medium
* Non-maintainer upload.
* New upstream release.
* Remove patches that were fixed upstream:
- signed_char01
- signed_char02
- signed_char03
- signed_char04
- disable_test
- disable_test2
- disable_test3
- disable_test4 (upstream issue has been closed:
- fix_conflict
* Migrate remaining patches to DEP-3 format.
* Rewrite typos.patch to apply to new version of z3.
* Add patch fix-dotnet-version.patch to fix a FTBFS with Mono caused
by an apparently unsupported version of the .NET framework
(Closes: #808695).
* Add patch disable-tests.patch to disable three potentially failing
tests in src/test/main.cpp.
* Install shared libraries into new libz3-4 package (Closes: #819884).
* Remove ${shlibs:Depends} and ${misc:Pre-Depends} substitution
variables from libz3-dev entry in debian/control.
* Install python files directly into /usr/lib/python2.7/dist-packages/
(Closes: #802272).
* Clean up debian/rules.
* Remove unnecessary version restriction of build dependency
* Fix debian/copyright: Change MIT to Expat and delete file block that
no longer applies (copyright of hamiltonian.py changed).
* Move libz3-ocaml-dev into section ocaml.
* Add preinst scripts to remove directories from older versions to allow
debhelper to install symlinks (Closes: #823573).
* Enable hardening flags in debian/rules.
2015-10-04 - Michael Tautschnig <mt@debian.org>
z3 (4.4.0-5) unstable; urgency=low
* Add fixes for tests previously failing on ARM, PowerPC
2015-09-04 - Michael Tautschnig <mt@debian.org>
z3 (4.4.0-4) unstable; urgency=low
* Add libz3-jni package to split out arch-specific files from java package.
(Closes: #797515)
* Don't claim multi-arch compatibilty of libz3-cil. (Closes: #797514)
* ocamlopt isn't universally available, and never actually used in the build
2015-08-27 - Michael Tautschnig <mt@debian.org>
z3 (4.4.0-3) unstable; urgency=low
* De-duplicate files in python-z3, depend on libz3-dev instead
* Added bindings for java, OCaml, and .NET
* Use multi-arch library locations
2015-07-07 - Michael Tautschnig <mt@debian.org>
z3 (4.4.0-2) unstable; urgency=low
* Added __init__.py. Thanks Andrea Villa for the hints. (Closes: #791604)
* Use emmintrin.h conditionally only (Closes: #789881)
2015-06-17 - Michael Tautschnig <mt@debian.org>
z3 (4.4.0-1) unstable; urgency=low
* Initial release (Closes: #786807)
* Includes patches from unstable branch up to 6a50f10b8b

See Also

Package Description
z80asm_1.8-1+b2_i386.deb assembler for the Zilog Z80 microprocessor
z80dasm_1.1.5-1_i386.deb disassembler for the Zilog Z80 microprocessor
z8530-utils2_3.0-1-9_i386.deb Utilities for Z8530 based HDLC cards for AX.25
z88-data_13.0.0+dfsg2-6_all.deb Finite Element Analysis Program - data
z88-doc_13.0.0+dfsg2-6_all.deb Finite Element Analysis Program - documentation
z88_13.0.0+dfsg2-6_i386.deb Finite Element Analysis Program - runtime
zabbix-agent_3.0.17+dfsg-1_i386.deb network monitoring solution - agent
zabbix-cli_1.7.0-1_all.deb Command-line interface for Zabbix monitoring system
zabbix-frontend-php_3.0.17+dfsg-1_all.deb network monitoring solution - PHP front-end
zabbix-java-gateway_3.0.17+dfsg-1_all.deb network monitoring solution - Java gateway
zabbix-proxy-mysql_3.0.17+dfsg-1_i386.deb network monitoring solution - proxy (using MySQL)
zabbix-proxy-pgsql_3.0.17+dfsg-1_i386.deb network monitoring solution - proxy (using PostgreSQL)
zabbix-proxy-sqlite3_3.0.17+dfsg-1_i386.deb network monitoring solution - proxy (using SQLite3)
zabbix-server-mysql_3.0.17+dfsg-1_i386.deb network monitoring solution - server (using MySQL)
zabbix-server-pgsql_3.0.17+dfsg-1_i386.deb network monitoring solution - server (using PostgreSQL)