Package: libz3-jni (4.13.3-1)

[ 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.0) [not armel, armhf]

  libreria di supporto a GCC

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

• dep: libstdc++6 (>= 5)

  libreria GNU Standard C++, versione 3

• dep: libz3-4 (>= 4.13.3)

  dimostratore di teoremi di Microsoft Research - librerie runtime

• dep: libz3-dev (= 4.13.3-1)

  dimostratore di teoremi di Microsoft Research - file di sviluppo

Download libz3-jni

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	36.6 kB	228.0 kB	[list of files]
arm64	34.8 kB	268.0 kB	[list of files]
armel	31.6 kB	180.0 kB	[list of files]
armhf	33.8 kB	172.0 kB	[list of files]
i386	45.1 kB	248.0 kB	[list of files]
mips64el	37.8 kB	300.0 kB	[list of files]
ppc64el	40.4 kB	332.0 kB	[list of files]
riscv64	35.1 kB	204.0 kB	[list of files]
s390x	38.2 kB	240.0 kB	[list of files]