z3 4.4.0-5 source package in Ubuntu
Changelog
z3 (4.4.0-5) unstable; urgency=low * Add fixes for tests previously failing on ARM, PowerPC -- Michael Tautschnig <email address hidden> Sun, 04 Oct 2015 10:57:27 +0100
Upload details
- Uploaded by:
- Michael Tautschnig
- Uploaded to:
- Sid
- Original maintainer:
- Michael Tautschnig
- Architectures:
- any all
- Section:
- misc
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Xenial | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| z3_4.4.0-5.dsc | 2.1 KiB | cd6ba4a30027f2d6ba1842602cbdcff78ab4c6693a061d7df0cef6f6e46e3d84 |
| z3_4.4.0.orig.tar.gz | 3.3 MiB | 48d3652388d7781b1b9af5c61e618cfce0553bb186eb289003995f917d9207e5 |
| z3_4.4.0-5.debian.tar.xz | 11.2 KiB | dbdaa34c974f6dbaafa2a2c7c764bb174cfbc8658a960dbd987c0adb236dc134 |
Available diffs
No changes file available.
Binary packages built by this source
- libz3-cil: theorem prover from Microsoft Research - CLI 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 .NET API.
- 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 yakkety.
No description available for libz3-dev-dbgsym in ubuntu yakkety.
- libz3-java: theorem prover from Microsoft Research - java 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 Java API.
- libz3-jni: No summary available for libz3-jni in ubuntu yakkety.
No description available for libz3-jni in ubuntu yakkety.
- libz3-jni-dbgsym: debug symbols for package libz3-jni
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package provides the JNI library to invoke Z3 via its Java API.
- libz3-ocaml-dev: No summary available for libz3-ocaml-dev in ubuntu yakkety.
No description available for libz3-ocaml-dev in ubuntu yakkety.
- libz3-ocaml-dev-dbgsym: debug symbols for package libz3-ocaml-dev
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 OCaml API.
- python-z3: No summary available for python-z3 in ubuntu yakkety.
No description available for python-z3 in ubuntu yakkety.
- z3: theorem prover from Microsoft Research
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.
.
The Z3 input format is an extension of the one defined by the SMT-LIB 2.0
standard.
- z3-dbgsym: debug symbols for package z3
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.
.
The Z3 input format is an extension of the one defined by the SMT-LIB 2.0
standard.
