z3-4.8.4-1-x86_64.pkg.tar.xz


Advertisement

Description

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>

Alternatives

Package Version Architecture Repository
z3 - - -

Requires

Name Value
gcc libs
gmp -

Provides

Name Value
libz3 -
libz3.so = 4.8-64

Download

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:
    
    [community]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install z3 xz package:
    # pacman -Sy z3

Files

Path
/usr/
/usr/bin/z3
/usr/include/z3++.h
/usr/include/z3.h
/usr/include/z3_algebraic.h
/usr/include/z3_api.h
/usr/include/z3_ast_containers.h
/usr/include/z3_fixedpoint.h
/usr/include/z3_fpa.h
/usr/include/z3_macros.h
/usr/include/z3_optimization.h
/usr/include/z3_polynomial.h
/usr/include/z3_rcf.h
/usr/include/z3_spacer.h
/usr/include/z3_v1.h
/usr/include/z3_version.h
/usr/lib/libz3.so
/usr/lib/libz3.so.4.8
/usr/lib/libz3.so.4.8.4.0
/usr/lib/cmake/
/usr/lib/cmake/z3/Z3Config.cmake
/usr/lib/cmake/z3/Z3Targets-release.cmake
/usr/lib/cmake/z3/Z3Targets.cmake
/usr/share/
/usr/share/licenses/
/usr/share/licenses/z3/LICENSE.txt

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
Advertisement
Advertisement