[ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Source: z3 ]

Package: python3-z3 (4.8.12-3.1 and others)

Links for python3-z3

Debian Resources:

Download Source Package z3:

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

theorem prover from Microsoft Research - Python 3 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 3 API.

Other Packages Related to python3-z3

depends

recommends

suggests

enhances

dep: libz3-dev (= 4.8.12-3.1) [alpha, hppa, ia64, m68k, ppc64, sparc64, x32]

theorem prover from Microsoft Research - development files

dep: libz3-dev (= 4.8.12-3.1+b2) [not alpha, hppa, ia64, m68k, ppc64, sparc64, x32]
dep: python3

interactive high-level object-oriented language (default python3 version)
dep: python3-pkg-resources

Package Discovery and Resource Access using pkg_resources

Download python3-z3

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	4.8.12-3.1	76.5 kB	595.0 kB	[list of files]
amd64	4.8.12-3.1+b2	76.5 kB	595.0 kB	[list of files]
arm64	4.8.12-3.1+b2	76.5 kB	595.0 kB	[list of files]
armel	4.8.12-3.1+b2	76.5 kB	595.0 kB	[list of files]
armhf	4.8.12-3.1+b2	76.5 kB	595.0 kB	[list of files]
hppa (unofficial port)	4.8.12-3.1	76.5 kB	595.0 kB	[list of files]
i386	4.8.12-3.1+b2	76.5 kB	595.0 kB	[list of files]
ia64 (unofficial port)	4.8.12-3.1	76.5 kB	595.0 kB	[list of files]
m68k (unofficial port)	4.8.12-3.1	76.5 kB	595.0 kB	[list of files]
mips64el	4.8.12-3.1+b2	76.5 kB	595.0 kB	[list of files]
ppc64 (unofficial port)	4.8.12-3.1	76.5 kB	595.0 kB	[list of files]
ppc64el	4.8.12-3.1+b2	76.5 kB	595.0 kB	[list of files]
riscv64	4.8.12-3.1+b2	76.5 kB	595.0 kB	[list of files]
s390x	4.8.12-3.1+b2	76.5 kB	595.0 kB	[list of files]
sparc64 (unofficial port)	4.8.12-3.1	76.5 kB	595.0 kB	[list of files]
x32 (unofficial port)	4.8.12-3.1	76.5 kB	595.0 kB	[list of files]