z3 4.8.7-4build1 source package in Ubuntu
Changelog
z3 (4.8.7-4build1) focal; urgency=medium * No-change rebuild for libgcc-s1 package name change. -- Matthias Klose <email address hidden> Mon, 23 Mar 2020 07:29:12 +0100
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Focal
- Original maintainer:
- LLVM Packaging Team
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Focal | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| z3_4.8.7.orig.tar.gz | 4.1 MiB | 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3 |
| z3_4.8.7-4build1.debian.tar.xz | 9.8 KiB | 62269275955ed4d2cf9bfe5d1903e3f5bffd6981c7f14660d778365099ebe333 |
| z3_4.8.7-4build1.dsc | 2.5 KiB | bbd775d6c9d8298e258ca1ba44aa179dc63857ff55be5c6af8250e3b9cb7e789 |
Available diffs
- diff from 4.8.7-4 (in Debian) to 4.8.7-4build1 (335 bytes)
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: No summary available for libz3-jni in ubuntu groovy.
No description available for libz3-jni in ubuntu groovy.
- libz3-jni-dbgsym: No summary available for libz3-jni-dbgsym in ubuntu groovy.
No description available for libz3-jni-dbgsym in ubuntu groovy.
- python3-z3: No summary available for python3-z3 in ubuntu groovy.
No description available for python3-z3 in ubuntu groovy.
- z3: No summary available for z3 in ubuntu groovy.
No description available for z3 in ubuntu groovy.
- z3-dbgsym: debug symbols for z3
