Skip to content
Sections
>> Trisquel >> Pakiety >> Wyniki wyszukiwania pakietu

Search in specific 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]

Niektóre wyniki nie zostały wyświetlone w związku z parametrami wyszukiwania.

Szukano pakietów których nazwy zawierają z3 w wszystkich gałęziach, wszystkich sekcjach i wszystkich architekturach. Liczba pasujących pakietów: 15.

Dokładne dopasowania

Pakiet z3

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

Inne wyniki

Pakiet libgeotranz3-dev

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

Pakiet libgeotranz3.7

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

Pakiet libhowardhinnant-date-tz3

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

Pakiet libnet-z3950-simple2zoom-perl

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

Pakiet libnet-z3950-simpleserver-perl

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

Pakiet 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

Pakiet libnormaliz3

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

Pakiet libpwiz3

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

Pakiet libz3-4

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

Pakiet libz3-dev

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

Pakiet libz3-java

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

Pakiet libz3-jni

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

Pakiet libznz3

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

Pakiet python3-z3

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