This package is 65.3 KB.
It is available at http://ftp.debian.org/debian/pool/main/z/z3/python-z3_4.4.1-0.4~deb9u1_amd64.deb
.
View its full control file here:
debian/control.
theorem prover from Microsoft Research - Python bindings
This package depends on:
libz3-dev (= 4.4.1-0.4~deb9u1), python:any (<< 2.8), python:any (>= 2.7.5-5~).
This package does not recommend any other package.
This package does not suggest any other package.
This package does not conflict with any other package.
python-z3 4.4.1-0.4~deb9u1 is in debian - stretch / main. This package's architecture is: amd64.
This package will not be indexed since your user agent reports your browser is a bot.