Search in specific suite: [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el]
You have searched for packages that names contain z3 in all suites, all sections, and all architectures. Found 29 matching packages.
Exact hits
Package z3
- aramo (science):
theorem prover from Microsoft Research
4.8.12-1: amd64 arm64 armhf i386 ppc64el - nabia (science):
theorem prover from Microsoft Research
4.8.7-4build1: amd64 armhf - etiona (science):
theorem prover from Microsoft Research
4.4.1-0.3build4: amd64 i386
Other hits
Package libgeotranz3-dev
- aramo (libdevel):
GEOgraphic coordinates TRANslator (development files)
3.7-1.1build1: amd64 arm64 armhf ppc64el - nabia (libdevel):
GEOgraphic coordinates TRANslator (development files)
3.7-1.1build1: amd64 armhf - etiona (libdevel):
GEOgraphic coordinates TRANslator (development files)
3.3-1: amd64 i386
Package libgeotranz3.3
- etiona (libs):
GEOgraphic coordinates TRANslator (runtime library)
3.3-1: amd64 i386
Package libgeotranz3.7
- aramo (libs):
GEOgraphic coordinates TRANslator (runtime library)
3.7-1.1build1: amd64 arm64 armhf ppc64el - nabia (libs):
GEOgraphic coordinates TRANslator (runtime library)
3.7-1.1build1: amd64 armhf
Package libhowardhinnant-date-tz3
- aramo (libs):
date and time library based on the C++ <chrono> header
3.0.1-4: amd64 arm64 armhf ppc64el
Package libnet-z3950-simple2zoom-perl
- aramo (perl):
gateway between Z39.50 and SRU/SRW
1.04-1.1: all - nabia (perl):
gateway between Z39.50 and SRU/SRW
1.04-1build2: all
Package libnet-z3950-simpleserver-perl
- aramo (perl):
simple perl API for building Z39.50 servers
1.21-2build2: amd64 arm64 armhf ppc64el - nabia (perl):
simple perl API for building Z39.50 servers
1.21-1build1: amd64 armhf - etiona (perl):
simple perl API for building Z39.50 servers
1.15-1ubuntu2: amd64 i386
Package libnet-z3950-zoom-perl
- aramo (perl):
Perl extension implementing the ZOOM API for Information Retrieval via Z39.50
1.30-3build2: amd64 arm64 armhf ppc64el - nabia (perl):
Perl extension implementing the ZOOM API for Information Retrieval via Z39.50
1.30-2build1: amd64 armhf - etiona (perl):
Perl extension implementing the ZOOM API for Information Retrieval via Z39.50
1.30-1ubuntu2: amd64 i386
Package libnormaliz3
- aramo (libs):
math computing tools for affine monoids, rational polytopes and cones - libs
3.8.9+ds-1: amd64 arm64 armhf ppc64el - nabia (libs):
math computing tools for affine monoids, rational polytopes and cones - libs
3.8.3+ds-2build1: amd64 armhf - etiona (libs):
math computing tools for affine monoids, rational polytopes and cones - libs
3.5.1+ds-4: amd64 i386
Package libopencv-viz3.2
- etiona (libs):
computer vision 3D data visualization library
3.2.0+dfsg-4build2: amd64 i386 - etiona-updates (libs):
computer vision 3D data visualization library
3.2.0+dfsg-4ubuntu0.1: amd64 i386 - etiona-security (libs):
computer vision 3D data visualization library
3.2.0+dfsg-4ubuntu0.1: amd64 i386
Package libpwiz3
- aramo (libs):
library to perform proteomics data analyses (runtime)
3.0.18342-4build1: amd64 arm64 armhf ppc64el - nabia (libs):
library to perform proteomics data analyses (runtime)
3.0.18342-2: amd64 armhf - etiona (libs):
library to perform proteomics data analyses (runtime)
3.0.10827-4: amd64 i386
Package libz3-4
- aramo (libs):
theorem prover from Microsoft Research - runtime libraries
4.8.12-1: amd64 arm64 armhf i386 ppc64el - nabia (libs):
theorem prover from Microsoft Research - runtime libraries
4.8.7-4build1: amd64 armhf - etiona (libs):
theorem prover from Microsoft Research - runtime libraries
4.4.1-0.3build4: amd64 i386
Package libz3-cil
- etiona (cli-mono):
theorem prover from Microsoft Research - CLI bindings
4.4.1-0.3build4: amd64 i386
Package libz3-dev
- aramo (libdevel):
theorem prover from Microsoft Research - development files
4.8.12-1: amd64 arm64 armhf i386 ppc64el - nabia (libdevel):
theorem prover from Microsoft Research - development files
4.8.7-4build1: amd64 armhf - etiona (libdevel):
theorem prover from Microsoft Research - development files
4.4.1-0.3build4: amd64 i386
Package libz3-java
- aramo (java):
theorem prover from Microsoft Research - java bindings
4.8.12-1: amd64 arm64 armhf i386 ppc64el - nabia (java):
theorem prover from Microsoft Research - java bindings
4.8.7-4build1: amd64 armhf - etiona (java):
theorem prover from Microsoft Research - java bindings
4.4.1-0.3build4: amd64 i386
Package libz3-jni
- aramo (java):
theorem prover from Microsoft Research - JNI library
4.8.12-1: amd64 arm64 armhf i386 ppc64el - nabia (java):
theorem prover from Microsoft Research - JNI library
4.8.7-4build1: amd64 armhf - etiona (java):
theorem prover from Microsoft Research - JNI library
4.4.1-0.3build4: amd64 i386
Package libz3-ocaml-dev
- etiona (libdevel):
theorem prover from Microsoft Research - OCaml bindings
4.4.1-0.3build4: amd64 i386
Package libznz3
- aramo (libs):
low-level IO library znzlib for the NIfTI-1 data format
3.0.1-8: amd64 arm64 armhf ppc64el
Package python-z3
- etiona (python):
theorem prover from Microsoft Research - Python bindings
4.4.1-0.3build4: amd64 i386
Package python-z3c
- etiona (zope):
z3c namespace package
2.9.1-0ubuntu2: all
Package python-z3c.autoinclude
- etiona (zope):
Automatically include ZCML
0.3.5-0ubuntu1: all
Package python-z3c.form
- etiona (zope):
advanced form and widget framework for Zope 3
2.9.1-0ubuntu2: all
Package python-z3c.formui
- etiona (zope):
set of initial UI components for z3c.form
2.3.0-0ubuntu1: all
Package python-z3c.macro
- etiona (zope):
Simpler definition of ZPT macros
1.4.2-0ubuntu2: all
Package python-z3c.optionstorage
- etiona (zope):
Option Storages -- Persistent, Managable Vocabularies
1.0.7-0ubuntu5: all
Package python-z3c.pt
- etiona (zope):
Fast Zope Page Template engine
2.2.3-0ubuntu1: all
Package python-z3c.ptcompat
- etiona (zope):
Zope-compatible page template engine based on Chameleon
1.0.1-0ubuntu2: all
Package python-z3c.template
- etiona (zope):
Pluggable Page Templates
1.4.1-0ubuntu1: all