Package: libz3-jni (4.8.12-3.1 and others)

[ 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: libatomic1 (>= 4.8) [riscv64]

  libreria ausiliaria che fornisce funzioni __atomic incorporate

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

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

  dep: libc6 (>= 2.27) [riscv64]

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

• dep: libgcc-s1 (>= 3.5) [armel, armhf]

  libreria di supporto a GCC

• dep: libstdc++6 (>= 4.3) [armel, armhf, i386]

  libreria GNU Standard C++, versione 3

• dep: libz3-4 (>= 4.8.12)

  dimostratore di teoremi di Microsoft Research - librerie runtime

• dep: libz3-dev (= 4.8.12-3.1+b2)

  dimostratore di teoremi di Microsoft Research - file di sviluppo

Download libz3-jni

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	4.8.12-3.1+b2	31.7 kB	200.0 kB	[list of files]
arm64	4.8.12-3.1+b2	30.4 kB	204.0 kB	[list of files]
armel	4.8.12-3.1+b2	27.9 kB	160.0 kB	[list of files]
armhf	4.8.12-3.1+b2	29.8 kB	152.0 kB	[list of files]
i386	4.8.12-3.1+b2	39.7 kB	224.0 kB	[list of files]
mips64el	4.8.12-3.1+b2	33.4 kB	296.0 kB	[list of files]
ppc64el	4.8.12-3.1+b2	35.6 kB	268.0 kB	[list of files]
riscv64	4.8.12-3.1+b2	30.9 kB	184.0 kB	[list of files]
s390x	4.8.12-3.1+b2	33.4 kB	212.0 kB	[list of files]