Ubuntu – Package Search Results -- z3

» Ubuntu » Packages » Package Search Results

Search in specific suite: [jammy] [jammy-updates] [jammy-backports] [noble] [noble-updates] [noble-backports] [plucky] [plucky-updates] [plucky-backports] [questing] [questing-updates] [questing-backports] [resolute]

Limit search to a specific architecture: [i386] [amd64] [powerpc] [arm64] [armhf] [ppc64el] [riscv64] [s390x]

You have searched for packages that names contain z3 in all suites, all sections, and all architectures. Found 19 matching packages.

Exact hits

Package z3

jammy (22.04LTS) (science): theorem prover from Microsoft Research [universe]
4.8.12-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
noble (24.04LTS) (science): theorem prover from Microsoft Research [universe]
4.8.12-3.1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
plucky (25.04) (science): theorem prover from Microsoft Research [universe]
4.13.3-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
questing (25.10) (science): theorem prover from Microsoft Research [universe]
4.13.3-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
resolute (science): theorem prover from Microsoft Research [universe]
4.13.3-1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x

Other hits

Package libcatmandu-z3950-perl

noble (24.04LTS) (perl): Catmandu module for working with Z3950 data [universe]
0.06-2: all
plucky (25.04) (perl): Catmandu module for working with Z3950 data [universe]
0.06-2: all
questing (25.10) (perl): Catmandu module for working with Z3950 data [universe]
0.06-2: all
resolute (perl): Catmandu module for working with Z3950 data [universe]
0.06-2: all

Package libdate-tz3

noble (24.04LTS) (libs): date and time library based on the C++ <chrono> header [universe]
3.0.1+ds-5build1: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (libs): date and time library based on the C++ <chrono> header [universe]
3.0.3+ds-1: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (libs): date and time library based on the C++ <chrono> header [universe]
3.0.3+ds-2: amd64 arm64 armhf ppc64el riscv64 s390x
resolute (libs): date and time library based on the C++ <chrono> header [universe]
3.0.3+ds-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

Package libgeotranz3-dev

jammy (22.04LTS) (libdevel): GEOgraphic coordinates TRANslator (development files) [universe]
3.7-1.1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (24.04LTS) (libdevel): GEOgraphic coordinates TRANslator (development files) [universe]
3.7-3ubuntu1: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (libdevel): GEOgraphic coordinates TRANslator (development files) [universe]
3.7-4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (libdevel): GEOgraphic coordinates TRANslator (development files) [universe]
3.7-5: amd64 arm64 armhf ppc64el riscv64 s390x
resolute (libdevel): GEOgraphic coordinates TRANslator (development files) [universe]
3.7-6: amd64 arm64 armhf ppc64el riscv64 s390x

Package libgeotranz3.7

jammy (22.04LTS) (libs): GEOgraphic coordinates TRANslator (runtime library) [universe]
3.7-1.1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (24.04LTS) (libs): GEOgraphic coordinates TRANslator (runtime library) [universe]
3.7-3ubuntu1: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (libs): GEOgraphic coordinates TRANslator (runtime library) [universe]
3.7-4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (libs): GEOgraphic coordinates TRANslator (runtime library) [universe]
3.7-5: amd64 arm64 armhf ppc64el riscv64 s390x
resolute (libs): GEOgraphic coordinates TRANslator (runtime library) [universe]
3.7-6: amd64 arm64 armhf ppc64el riscv64 s390x

Package libhowardhinnant-date-tz3

jammy (22.04LTS) (libs): date and time library based on the C++ <chrono> header [universe]
3.0.1-4: amd64 arm64 armhf ppc64el riscv64 s390x

Package libnet-z3950-simple2zoom-perl

jammy (22.04LTS) (perl): gateway between Z39.50 and SRU/SRW [universe]
1.04-1.1: all
noble (24.04LTS) (perl): gateway between Z39.50 and SRU/SRW [universe]
1.04-1.1: all
plucky (25.04) (perl): gateway between Z39.50 and SRU/SRW [universe]
1.04-1.1: all
questing (25.10) (perl): gateway between Z39.50 and SRU/SRW [universe]
1.04-1.1: all
resolute (perl): gateway between Z39.50 and SRU/SRW [universe]
1.04-2: all

Package libnet-z3950-simpleserver-perl

jammy (22.04LTS) (perl): simple perl API for building Z39.50 servers [universe]
1.21-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
noble (24.04LTS) (perl): simple perl API for building Z39.50 servers [universe]
1.21-3build3: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (perl): simple perl API for building Z39.50 servers [universe]
1.29-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (perl): simple perl API for building Z39.50 servers [universe]
1.29-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
resolute (perl): simple perl API for building Z39.50 servers [universe]
1.29-1build1: amd64 arm64 armhf ppc64el riscv64 s390x

Package libnet-z3950-zoom-perl

jammy (22.04LTS) (perl): Perl extension implementing the ZOOM API for Information Retrieval via Z39.50 [universe]
1.30-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
noble (24.04LTS) (perl): Perl extension implementing the ZOOM API for Information Retrieval via Z39.50 [universe]
1.30-4build3: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (perl): Perl extension implementing the ZOOM API for Information Retrieval via Z39.50 [universe]
1.32-2build1: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (perl): Perl extension implementing the ZOOM API for Information Retrieval via Z39.50 [universe]
1.32-4: amd64 arm64 armhf ppc64el riscv64 s390x
resolute (perl): Perl extension implementing the ZOOM API for Information Retrieval via Z39.50 [universe]
1.32-4: amd64 arm64 armhf ppc64el riscv64 s390x

Package libnormaliz3

jammy (22.04LTS) (libs): math computing tools for affine monoids, rational polytopes and cones - libs [universe]
3.8.9+ds-1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (24.04LTS) (libs): math computing tools for affine monoids, rational polytopes and cones - libs [universe]
3.10.2+ds-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (libs): math computing tools for affine monoids, rational polytopes and cones - libs [universe]
3.10.4+ds-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (libs): math computing tools for affine monoids, rational polytopes and cones - libs [universe]
3.10.5+ds-3: amd64 arm64 armhf ppc64el riscv64 s390x
resolute (libs): math computing tools for affine monoids, rational polytopes and cones - libs [universe]
3.11.1+ds-1: amd64 arm64 armhf ppc64el riscv64 s390x

Package libpwiz3

jammy (22.04LTS) (libs): library to perform proteomics data analyses (runtime) [universe]
3.0.18342-4build1: amd64 arm64 armhf ppc64el riscv64 s390x

Package libpwiz3t64

noble (24.04LTS) (libs): library to perform proteomics data analyses (runtime) [universe]
3.0.18342-4.1build3: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (libs): library to perform proteomics data analyses (runtime) [universe]
3.0.18342-4.1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (libs): library to perform proteomics data analyses (runtime) [universe]
3.0.18342-4.2build1: amd64 arm64 armhf ppc64el s390x
resolute (libs): library to perform proteomics data analyses (runtime) [universe]
3.0.18342-4.2build1: amd64 arm64 armhf ppc64el s390x

Package libz3-4

jammy (22.04LTS) (libs): theorem prover from Microsoft Research - runtime libraries [universe]
4.8.12-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
noble (24.04LTS) (libs): theorem prover from Microsoft Research - runtime libraries [universe]
4.8.12-3.1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
plucky (25.04) (libs): theorem prover from Microsoft Research - runtime libraries [universe]
4.13.3-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
questing (25.10) (libs): theorem prover from Microsoft Research - runtime libraries [universe]
4.13.3-1: amd64 arm64 armhf ppc64el riscv64 s390x
resolute (libs): theorem prover from Microsoft Research - runtime libraries [universe]
4.13.3-1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x

Package libz3-dev

jammy (22.04LTS) (libdevel): theorem prover from Microsoft Research - development files [universe]
4.8.12-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
noble (24.04LTS) (libdevel): theorem prover from Microsoft Research - development files [universe]
4.8.12-3.1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
plucky (25.04) (libdevel): theorem prover from Microsoft Research - development files [universe]
4.13.3-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
questing (25.10) (libdevel): theorem prover from Microsoft Research - development files [universe]
4.13.3-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
resolute (libdevel): theorem prover from Microsoft Research - development files [universe]
4.13.3-1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x

Package libz3-java

jammy (22.04LTS) (java): theorem prover from Microsoft Research - java bindings [universe]
4.8.12-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
noble (24.04LTS) (java): theorem prover from Microsoft Research - java bindings [universe]
4.8.12-3.1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
plucky (25.04) (java): theorem prover from Microsoft Research - java bindings [universe]
4.13.3-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
questing (25.10) (java): theorem prover from Microsoft Research - java bindings [universe]
4.13.3-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
resolute (java): theorem prover from Microsoft Research - java bindings [universe]
4.13.3-1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x

Package libz3-jni

jammy (22.04LTS) (java): theorem prover from Microsoft Research - JNI library [universe]
4.8.12-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
noble (24.04LTS) (java): theorem prover from Microsoft Research - JNI library [universe]
4.8.12-3.1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
plucky (25.04) (java): theorem prover from Microsoft Research - JNI library [universe]
4.13.3-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
questing (25.10) (java): theorem prover from Microsoft Research - JNI library [universe]
4.13.3-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
resolute (java): theorem prover from Microsoft Research - JNI library [universe]
4.13.3-1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x

Package libznz3

jammy (22.04LTS) (libs): low-level IO library znzlib for the NIfTI-1 data format [universe]
3.0.1-8: amd64 arm64 armhf ppc64el riscv64 s390x
noble (24.04LTS): Virtual package
provided by: libznz3t64
plucky (25.04): Virtual package
provided by: libznz3t64
questing (25.10): Virtual package
provided by: libznz3t64
resolute: Virtual package
provided by: libznz3t64

Package libznz3t64

noble (24.04LTS) (libs): low-level IO library znzlib for the NIfTI-1 data format [universe]
3.0.1-9.1ubuntu2: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (libs): low-level IO library znzlib for the NIfTI-1 data format [universe]
3.0.1-9.1ubuntu2: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (libs): low-level IO library znzlib for the NIfTI-1 data format [universe]
3.0.1-9.1ubuntu2: amd64 arm64 armhf ppc64el riscv64 s390x
resolute (libs): low-level IO library znzlib for the NIfTI-1 data format [universe]
3.0.1-9.1ubuntu3: amd64 arm64 armhf ppc64el riscv64 s390x

Package python3-z3

jammy (22.04LTS) (python): theorem prover from Microsoft Research - Python 3 bindings [universe]
4.8.12-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
noble (24.04LTS) (python): theorem prover from Microsoft Research - Python 3 bindings [universe]
4.8.12-3.1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
plucky (25.04) (python): theorem prover from Microsoft Research - Python 3 bindings [universe]
4.13.3-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
questing (25.10) (python): theorem prover from Microsoft Research - Python 3 bindings [universe]
4.13.3-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
resolute (python): theorem prover from Microsoft Research - Python 3 bindings [universe]
4.13.3-1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x