Package: libz3-java (4.13.3-1)

Links for libz3-java

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

Questo pacchetto può essere utilizzato per invocare Z3 attraverso la sua API Java.

dep: libz3-dev (= 4.13.3-1)

dimostratore di teoremi di Microsoft Research - file di sviluppo
dep: libz3-jni (<< 4.13.3-1.1~)

dimostratore di teoremi di Microsoft Research - libreria JNI

dep: libz3-jni (>= 4.13.3-1)

Download for all available architectures
Architecture	Package Size	Installed Size	Files
i386	177.9 kB	204.0 kB	[list of files]