Alle Optionen
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: z3  ]

Paket: python3-z3 (4.8.12-3.1)

Links für python3-z3

Screenshot

Debian-Ressourcen:

Quellcode-Paket z3 herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

python3-z3 herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 76,5 kB595,0 kB [Liste der Dateien]
arm64 76,5 kB595,0 kB [Liste der Dateien]
armel 76,5 kB595,0 kB [Liste der Dateien]
armhf 76,5 kB595,0 kB [Liste der Dateien]
i386 76,5 kB595,0 kB [Liste der Dateien]
mips64el 76,5 kB595,0 kB [Liste der Dateien]
mipsel 76,5 kB595,0 kB [Liste der Dateien]
ppc64el 76,5 kB595,0 kB [Liste der Dateien]
s390x 76,5 kB595,0 kB [Liste der Dateien]