Paket: python3-z3 (4.13.3-1 und andere)

[ Quellcode: z3  ]

Theorembeweiser von Microsoft Research - Python-3-Anbindung

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

Mit diesem Paket kann Z3 über seine Python-3-API aufgerufen werden.

Andere Pakete mit Bezug zu python3-z3

• dep: libz3-dev (= 4.13.3-1) [nicht ia64]

  Theorembeweiser von Microsoft Research - Entwicklungsdateien

  dep: libz3-dev (= 4.8.12-3.1) [ia64]

• dep: python3

  interactive high-level object-oriented language (default python3 version)

• dep: python3-pkg-resources

  Paketermittlung und Ressourcenzugriff mittels pkg_resources

python3-z3 herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
amd64	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
arm64	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
armel	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
armhf	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
i386	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	4.8.12-3.1	76,5 kB	595,0 kB	[Liste der Dateien]
loong64 (inoffizielle Portierung)	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
mips64el	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
ppc64el	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
riscv64	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
s390x	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	4.13.3-1	81,5 kB	637,0 kB	[Liste der Dateien]