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: libc6 (>= 2.4)

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

• dep: libgcc-s1 (>= 3.5)

  libreria di supporto a GCC

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

  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+b3)

  dimostratore di teoremi di Microsoft Research - file di sviluppo

Download libz3-jni

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
armhf	4.8.12-3.1+b3	29.6 kB	152.0 kB	[list of files]