z3 source package in Mantic
libz3-4: theorem prover from Microsoft Research - runtime libraries
libz3-4-dbgsym: debug symbols for libz3-4
libz3-dev: theorem prover from Microsoft Research - development files
libz3-java: theorem prover from Microsoft Research - java bindings
libz3-jni: theorem prover from Microsoft Research - JNI library
libz3-jni-dbgsym: debug symbols for libz3-jni
python3-z3: theorem prover from Microsoft Research - Python 3 bindings
z3: theorem prover from Microsoft Research
z3-dbgsym: debug symbols for z3
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- z3 4.8.12-3.1 (universe)
z3 information
- Current version:
- 4.8.12-3.1
- Uploaded:
- Urgency:
- Medium Urgency
Upstream connections
The z3c tutorial aims to provide an easy to follow guide for working with Zope 3 components (z3c.*) maintained by the community but not officially part of the "Zope 3 core".
- Bug supervisor:
- Bug tracker:
- Branch:
There are no registered releases for the Z3C Tutorial ⇒ trunk.
Releases in Ubuntu
Binary packages
- libz3-4 (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- libz3-4-dbgsym (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- libz3-dev (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- libz3-java (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- libz3-jni (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- libz3-jni-dbgsym (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- python3-z3 (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- z3 (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- z3-dbgsym (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
Download files from current release (4.8.12-3.1)
File | Size | SHA-256 Checksum |
---|---|---|
z3_4.8.12-3.1.dsc | 2.6 KiB | 0e5db5248212a72d3dc3fe99873181161649ff03d89de726bbe6f57604488008 |
z3_4.8.12.orig.tar.gz | 4.6 MiB | e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7 |
z3_4.8.12-3.1.debian.tar.xz | 10.2 KiB | 5bb616648de1d82f5563377e1640e59dd653b6beac3b6513358362e5dbd925fb |
Package relationships
Build dependencies
|
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |