Package: libz3-jni (4.4.1-1~deb10u1)

[ Source: z3  ]

dimostratore di teoremi di Microsoft Research - libreria JNI

Z3 è un dimostratore di teoremi all'avanguardia di Microsoft Research. Per una descrizione dettagliata vedere il pacchetto z3.

Questo pacchetto fornisce la libreria JNI per invocare Z3 attraverso la sua API Java.

Other Packages Related to libz3-jni

• dep: libc6 (>= 2.17) [arm64]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.4) [not arm64]

• dep: libgcc1 (>= 1:3.0) [not armhf]

  libreria di supporto a GCC

  dep: libgcc1 (>= 1:3.5) [armhf]

• dep: libstdc++6 (>= 4.1.1) [amd64, arm64]

  libreria GNU Standard C++, versione 3

  dep: libstdc++6 (>= 4.9) [armhf, i386]

• dep: libz3-4

  dimostratore di teoremi di Microsoft Research - librerie runtime

• dep: libz3-dev (= 4.4.1-1~deb10u1)

  dimostratore di teoremi di Microsoft Research - file di sviluppo

Download libz3-jni

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	30.8 kB	188.0 kB	[list of files]
arm64	28.9 kB	180.0 kB	[list of files]
armhf	28.2 kB	136.0 kB	[list of files]
i386	40.6 kB	228.0 kB	[list of files]