z3 - High-performance theorem prover

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package name z3
Package version 4.8.4
Package release 1
Package architecture x86_64
Package type xz
Package license MIT
Installed size 42.02 MB
Download size 12.71 MB
Official Mirror ftp5.gwdg.de
High-performance theorem prover.
Packager: Felix Yan <felixonmars@archlinux.org>


Package Version Architecture Repository
z3 - - -


Name Value
gcc libs
gmp -


Name Value
libz3 -
libz3.so = 4.8-64


Type URL
Binary Package z3-4.8.4-1-x86_64.pkg.tar.xz
Source Package z3

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    Include = /etc/pacman.d/mirrorlist
  2. Install z3 xz package:
    # pacman -Sy z3



See Also

Package Description
zam-plugins-3.10-5-x86_64.pkg.tar.xz Collection of LADSPA/LV2/VST/JACK audio plugins for high-quality processing
zanshin-0.5.0-1-x86_64.pkg.tar.xz To-do management application based on Akonadi
zapcc-7.0.325000-2-x86_64.pkg.tar.xz C++ compiler based on Clang, but significantly faster
zaproxy-2.7.0-1-any.pkg.tar.xz Integrated penetration testing tool for finding vulnerabilities in web applications
zart-2.4.5-1-x86_64.pkg.tar.xz A GUI for G'MIC real-time manipulations on the output of a webcam
zathura-0.4.3-1-x86_64.pkg.tar.xz Minimalistic document viewer
zathura-cb-0.1.8-1-x86_64.pkg.tar.xz Adds comic book support to zathura
zathura-djvu-0.2.8-1-x86_64.pkg.tar.xz DjVu support for Zathura
zathura-pdf-mupdf-0.3.4-1-x86_64.pkg.tar.xz PDF support for Zathura (MuPDF backend) (Supports PDF, ePub, and OpenXPS)
zathura-pdf-poppler-0.2.9-1-x86_64.pkg.tar.xz Adds pdf support to zathura by using the poppler engine
zathura-ps-0.2.6-1-x86_64.pkg.tar.xz Adds ps support to zathura by using the libspectre library
zaz-1.0.0-8-x86_64.pkg.tar.xz Puzzle game where the player has to arrange balls in triplets
zbar-0.21-2-x86_64.pkg.tar.xz Application and library for reading bar codes from various sources
zbar-gtk-0.21-2-x86_64.pkg.tar.xz Application and library for reading bar codes from various sources
zbar-qt-0.21-2-x86_64.pkg.tar.xz Application and library for reading bar codes from various sources