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 information

Current version:
4.8.12-3.1
Uploaded:
Urgency:
Medium Urgency

Upstream connections

Z3C Tutorialtrunk

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: no
Bug tracker: no
Branch: yes

There are no registered releases for the Z3C Tutorial ⇒ trunk.

Releases in Ubuntu

Binary packages

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