Paket: python-z3 (4.4.1-1~deb10u1)

[ Quellcode: z3  ]

theorem prover from Microsoft Research - Python bindings

Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3 package for a detailed description.

This package can be used to invoke Z3 via its Python API.

Andere Pakete mit Bezug zu python-z3

• dep: libz3-dev (= 4.4.1-1~deb10u1)

  Theorembeweiser von Microsoft Research - Entwicklungsdateien

• dep: python

  Interaktive objektorientierte Hochsprache (Python2-Version)

python-z3 herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
armhf	65,5 kB	541,0 kB	[Liste der Dateien]