Ubuntu
z3 package

z3 source package in Groovy

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: No summary available for libz3-jni in ubuntu groovy.
libz3-jni-dbgsym: No summary available for libz3-jni-dbgsym in ubuntu groovy.
python3-z3: No summary available for python3-z3 in ubuntu groovy.
z3: No summary available for z3 in ubuntu groovy.
z3-dbgsym: debug symbols for z3

Versions published

There is no current release of this source package in The Groovy Gorilla. You can still report bugs, make translations, and so on, but they might not be used until the package is published.

z3 information

No published releases of this package have been uploaded in Ubuntu Groovy

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.

Releases in Ubuntu