Paket: libz3-java (4.8.12-3.1 und andere) [debports]

Links für libz3-java

Nicht gefunden

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

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	4.8.12-3.1+b2	159,3 kB	186,0 kB	[Liste der Dateien]