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

Source Package: z3 (4.8.7-4)

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
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.7-4.dsc 2.5 kB 445d279b6226524822998d6b6c143c58
z3_4.8.7.orig.tar.gz 4,241.9 kB 18e7332ab136c1d8686ea719ed7107ed
z3_4.8.7-4.debian.tar.xz 9.8 kB 869a74f13349dfcb4c89b49fe48b639e
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