all options
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

Source Package: z3 (4.8.6-2)

Links for z3

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libz3-4
theorem prover from Microsoft Research - runtime libraries
libz3-dev
theorem prover from Microsoft Research - development files
libz3-java
theorem prover from Microsoft Research - java bindings
libz3-jni
theorem prover from Microsoft Research - JNI library
libz3-ocaml-dev
theorem prover from Microsoft Research - OCaml bindings
python3-z3
theorem prover from Microsoft Research - Python 3 bindings
z3
theorem prover from Microsoft Research

Other Packages Related to z3

  • build-depends
  • build-depends-indep

Download z3

FileSize (in kB)MD5 checksum
z3_4.8.6-2.dsc 2.6 kB 63876212a3afff31559bd1d56314041f
z3_4.8.6.orig.tar.gz 4,227.3 kB 8b5468f18708351e13851e84eaa8edd4
z3_4.8.6-2.debian.tar.xz 10.7 kB 87a25445d84cd65411864de0b30c02d9
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/pkg-llvm-team/z3.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/pkg-llvm-team/z3