You have searched for packages that names contain z3 in all suites, all sections, and architecture(s) arm64. Found 15 matching packages.

Exact hits

Package z3

• aramo (science): theorem prover from Microsoft Research
  4.8.12-1: arm64

Other hits

Package libgeotranz3-dev

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

Package libgeotranz3.7

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

Package libhowardhinnant-date-tz3

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

Package libnet-z3950-simple2zoom-perl

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

Package libnet-z3950-simpleserver-perl

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

Package libnet-z3950-zoom-perl

• aramo (perl): Perl extension implementing the ZOOM API for Information Retrieval via Z39.50
  1.30-3build2: arm64

Package libnormaliz3

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

Package libpwiz3

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

Package libz3-4

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

Package libz3-dev

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

Package libz3-java

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

Package libz3-jni

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

Package libznz3

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

Package python3-z3

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