Package - z3

Package:  z3
apt-get install z3
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/z/z3/z3_4.13.3-1_amd64.deb (Size: 8.2MiB)

PropertyValue
Packagez3
Version4.13.3-1
Installed-Size27131
MaintainerLLVM Packaging Team
Architectureamd64
Dependslibc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14)
Descriptiontheorem prover from Microsoft Research
Description-md5b7964a14a42d323bd19347c2df64d599
Homepagehttps://github.com/Z3Prover/z3
Sectionscience
Priorityoptional
Filenamepool/main/z/z3/z3_4.13.3-1_amd64.deb
Size8566180
MD5sum2af6ef2f70d33e52390e9ccfd6c6dd47
SHA2564330fbffdcb23b708fa3008cde5ba00f63fe0a75bd67ac469ce16f2bd4213a1d

Files in package

  • /usr/bin/z3
  • /usr/share/doc/z3/README.md.gz
  • /usr/share/doc/z3/changelog.Debian.gz
  • /usr/share/doc/z3/changelog.gz
  • /usr/share/doc/z3/copyright
  • /usr/share/man/man1/z3.1.gz