Skip to content
Sections
>> Trisquel >> Pakete >> Ergebnisse der Paketsuche

Suchen in bestimmter Suite: [ecne] [ecne-updates] [ecne-security] [ecne-backports] [aramo] [aramo-updates] [aramo-security] [aramo-backports]

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

Einige Ergebnisse wurden aufgrund der Suchparameter nicht angezeigt.

Ihre Suche nach Paketen, deren Name z3 enthält, in allen Suites, allen Bereichen, und auf allen Architekturen: 15 Treffer.

Genaue Treffer

Paket z3

  • aramo (science): theorem prover from Microsoft Research
    4.8.12-1: amd64 arm64 armhf i386 ppc64el

Andere Treffer

Paket libgeotranz3-dev

  • aramo (libdevel): GEOgraphic coordinates TRANslator (development files)
    3.7-1.1build1: amd64 arm64 armhf ppc64el

Paket libgeotranz3.7

  • aramo (libs): GEOgraphic coordinates TRANslator (runtime library)
    3.7-1.1build1: amd64 arm64 armhf ppc64el

Paket libhowardhinnant-date-tz3

  • aramo (libs): date and time library based on the C++ <chrono> header
    3.0.1-4: amd64 arm64 armhf ppc64el

Paket libnet-z3950-simple2zoom-perl

  • aramo (perl): gateway between Z39.50 and SRU/SRW
    1.04-1.1: all

Paket libnet-z3950-simpleserver-perl

  • aramo (perl): simple perl API for building Z39.50 servers
    1.21-2build2: amd64 arm64 armhf ppc64el

Paket 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

Paket libnormaliz3

  • aramo (libs): math computing tools for affine monoids, rational polytopes and cones - libs
    3.8.9+ds-1: amd64 arm64 armhf ppc64el

Paket libpwiz3

  • aramo (libs): library to perform proteomics data analyses (runtime)
    3.0.18342-4build1: amd64 arm64 armhf ppc64el

Paket libz3-4

  • aramo (libs): theorem prover from Microsoft Research - runtime libraries
    4.8.12-1: amd64 arm64 armhf i386 ppc64el

Paket libz3-dev

  • aramo (libdevel): theorem prover from Microsoft Research - development files
    4.8.12-1: amd64 arm64 armhf i386 ppc64el

Paket libz3-java

  • aramo (java): theorem prover from Microsoft Research - java bindings
    4.8.12-1: amd64 arm64 armhf i386 ppc64el

Paket libz3-jni

  • aramo (java): theorem prover from Microsoft Research - JNI library
    4.8.12-1: amd64 arm64 armhf i386 ppc64el

Paket libznz3

  • aramo (libs): low-level IO library znzlib for the NIfTI-1 data format
    3.0.1-8: amd64 arm64 armhf ppc64el

Paket python3-z3

  • aramo (python): theorem prover from Microsoft Research - Python 3 bindings
    4.8.12-1: amd64 arm64 armhf i386 ppc64el