z3 4.8.6-2 source package in Ubuntu
Changelog
z3 (4.8.6-2) unstable; urgency=medium
* Source-only reupload after the package has been in the NEW queue
(due to python3-z3).
* Update debian/copyright (Closes: #942154).
* Upgrade to Standards-Version 4.4.1 (no changes).
-- Fabian Wolff <email address hidden> Tue, 15 Oct 2019 00:29:22 +0200
Upload details
- Uploaded by:
- LLVM Packaging Team
- Uploaded to:
- Sid
- Original maintainer:
- LLVM Packaging Team
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| z3_4.8.6-2.dsc | 2.6 KiB | ccc611fa95e14444f4b5d5225c5ce956f47be5614661e3f6747d5474978a756e |
| z3_4.8.6.orig.tar.gz | 4.1 MiB | 37922fa5085170cad6504498d9758fb63c61d5cb5b68689c11a6c5e84f0311b3 |
| z3_4.8.6-2.debian.tar.xz | 10.7 KiB | 5fec1a189af524bf19ad2ea8aa6e74f7aa8592d79d9c9b09d8f162c5de5afb47 |
No changes file available.
Binary packages built by this source
- libz3-4: theorem prover from Microsoft Research - runtime libraries
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 contains runtime libraries. You shouldn't have to install it
manually.
- libz3-4-dbgsym: debug symbols for libz3-4
- 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-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: theorem prover from Microsoft Research - JNI library
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-jni-dbgsym: debug symbols for libz3-jni
- libz3-ocaml-dev: No summary available for libz3-ocaml-dev in ubuntu focal.
No description available for libz3-ocaml-dev in ubuntu focal.
- libz3-ocaml-dev-dbgsym: No summary available for libz3-ocaml-dev-dbgsym in ubuntu focal.
No description available for libz3-ocaml-
dev-dbgsym in ubuntu focal.
- python3-z3: theorem prover from Microsoft Research - Python 3 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 3 API.
- 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 z3
