Ubuntu
z3 package

z3 4.4.0-2 source package in Ubuntu

Changelog

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)

 -- Michael Tautschnig <email address hidden>  Tue, 07 Jul 2015 08:08:48 +0100

Upload details

Uploaded by:
Michael Tautschnig
Uploaded to:
Sid
Original maintainer:
Michael Tautschnig
Architectures:
any
Section:
misc
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
z3_4.4.0-2.dsc 1.7 KiB ea96a0e8202b6dc65daaf615bc67a8428c0c3bdc874ecd505014bdbd194192e7
z3_4.4.0.orig.tar.gz 3.3 MiB 48d3652388d7781b1b9af5c61e618cfce0553bb186eb289003995f917d9207e5
z3_4.4.0-2.debian.tar.xz 6.5 KiB 2bb1994115866f7569d97be710b8956fb7f406b9f1ff5168067c814d068ea79e

Available diffs

No changes file available.

Binary packages built by this source

libz3-dev: theorem prover from Microsoft Research - development files

 Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
 used to check the satisfiability of logical formulas over one or more
 theories. Z3 offers a compelling match for software analysis and verification
 tools, since several common software constructs map directly into supported
 theories.
 .
 This package can be used to invoke Z3 via its C++ API.

libz3-dev-dbgsym: No summary available for libz3-dev-dbgsym in ubuntu wily.

No description available for libz3-dev-dbgsym in ubuntu wily.

python-z3: theorem prover from Microsoft Research - Python bindings

 Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
 package for a detailed description.
 .
 This package can be used to invoke Z3 via its Python API.

python-z3-dbgsym: No summary available for python-z3-dbgsym in ubuntu xenial.

No description available for python-z3-dbgsym in ubuntu xenial.

z3: No summary available for z3 in ubuntu wily.

No description available for z3 in ubuntu wily.

z3-dbgsym: No summary available for z3-dbgsym in ubuntu wily.

No description available for z3-dbgsym in ubuntu wily.