Ubuntu
z3 package

z3 package in Ubuntu

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

This package has 0 new bugs and 0 open questions.

Package information

Maintainer:
LLVM Packaging Team
Urgency:*
Medium Urgency
Architectures:*
any
Latest upload:
4.8.12-3.1

*actual publishing details may vary in this distribution, these are just the package defaults.

Upstream connections

Z3C Tutorial ⇒ trunk

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.

The Mantic Minotaur (active development)
4.8.12-3.1 release (universe)
The Lunar Lobster (current stable release)
4.8.12-3.1 release (universe)
The Kinetic Kudu (current stable release)
4.8.12-1 release (universe)
The Jammy Jellyfish (supported)
4.8.12-1 release (universe)
The Focal Fossa (supported)
4.8.7-4build1 release (universe)
The Bionic Beaver (supported)
4.4.1-0.3build4 release (universe)
The Xenial Xerus (supported)
4.4.0-5 release (universe)