Paket: libz3-java (4.8.12-3.1 und andere)

Links für libz3-java

Z3 ist ein hochmoderner Theorembeweiser von Microsoft Research. Eine detaillierte Beschreibung finden Sie im Paket z3.

Mit diesem Paket kann Z3 über die Java-API aufgerufen werden.

dep: libz3-dev

Theorembeweiser von Microsoft Research - Entwicklungsdateien
dep: libz3-jni (<< 4.8.12-3.1.1~)

Theorembeweiser von Microsoft Research - JNI-Bibliothek

dep: libz3-jni (>= 4.8.12-3.1+b3)

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
s390x	4.8.12-3.1+b3	159,8 kB	187,0 kB	[Liste der Dateien]