Paket: libz3-java (4.13.3-1 und andere) [debports]

[ Quellcode:  ]

Theorembeweiser von Microsoft Research - Java-Anbindung

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.

Andere Pakete mit Bezug zu libz3-java

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

  Theorembeweiser von Microsoft Research - Entwicklungsdateien

• dep: libz3-jni (<< 4.13.3-1.1~)

  Theorembeweiser von Microsoft Research - JNI-Bibliothek

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

libz3-java herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
sparc64 (inoffizielle Portierung)	4.13.3-1+b1	177,9 kB	204,0 kB	[Liste der Dateien]