python-z3-4.8.5-1-x86_64.pkg.tar.xz


Advertisement

Description

python-z3 - High-performance theorem prover

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package filename python-z3-4.8.5-1-x86_64.pkg.tar.xz
Package name python-z3
Package version 4.8.5
Package release 1
Package architecture x86_64
Package type xz
Homepage https://github.com/Z3Prover/z3
License MIT
Maintainer Levente Polyak <anthraxx@archlinux.org>
Download size 169.35 KB
Installed size 1.73 MB

Alternatives

Package Version Architecture Repository
python-z3 - - -

Requires

Name Value
libz3 -
python -

Download

Type URL
Mirror ftp5.gwdg.de
Binary Package python-z3-4.8.5-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 python-z3 xz package:
    # pacman -Sy python-z3

Files

Path
/usr/
/usr/lib/
/usr/lib/python3.7/
/usr/lib/python3.7/site-packages/
/usr/lib/python3.7/site-packages/z3/__init__.py
/usr/lib/python3.7/site-packages/z3/z3.py
/usr/lib/python3.7/site-packages/z3/z3consts.py
/usr/lib/python3.7/site-packages/z3/z3core.py
/usr/lib/python3.7/site-packages/z3/z3num.py
/usr/lib/python3.7/site-packages/z3/z3poly.py
/usr/lib/python3.7/site-packages/z3/z3printer.py
/usr/lib/python3.7/site-packages/z3/z3rcf.py
/usr/lib/python3.7/site-packages/z3/z3test.py
/usr/lib/python3.7/site-packages/z3/z3types.py
/usr/lib/python3.7/site-packages/z3/z3util.py
/usr/lib/python3.7/site-packages/z3/__pycache__/__init__.cpython-37.opt-1.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/__init__.cpython-37.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3.cpython-37.opt-1.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3.cpython-37.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3consts.cpython-37.opt-1.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3consts.cpython-37.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3core.cpython-37.opt-1.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3core.cpython-37.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3num.cpython-37.opt-1.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3num.cpython-37.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3poly.cpython-37.opt-1.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3poly.cpython-37.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3printer.cpython-37.opt-1.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3printer.cpython-37.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3rcf.cpython-37.opt-1.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3rcf.cpython-37.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3test.cpython-37.opt-1.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3test.cpython-37.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3types.cpython-37.opt-1.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3types.cpython-37.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3util.cpython-37.opt-1.pyc
/usr/lib/python3.7/site-packages/z3/__pycache__/z3util.cpython-37.pyc
/usr/share/
/usr/share/licenses/
/usr/share/licenses/python-z3/LICENSE.txt

See Also

Package Description
python-zabbix-api-0.5.3-1-any.pkg.tar.xz Python Zabbix API
python-zc.lockfile-1.4-2-any.pkg.tar.xz Zope testing frameworks
python-zconfig-3.5.0-1-any.pkg.tar.xz Structured Configuration Library
python-zeep-3.4.0-1-any.pkg.tar.xz A fast and modern Python SOAP client
python-zeroconf-0.23.0-1-any.pkg.tar.xz A pure python implementation of multicast DNS service discovery
python-zipp-0.5.2-1-x86_64.pkg.tar.xz Pathlib-compatible object wrapper for zip files
python-zita-audiotools-1.0.0-3-x86_64.pkg.tar.xz Tools for audio processing
python-zita-jacktools-1.0.0-3-x86_64.pkg.tar.xz Audio tools running as a Jack client
python-zope-annotation-4.7.0-2-any.pkg.tar.xz Object annotation mechanism
python-zope-component-4.5-1-any.pkg.tar.xz Represents the core of the Zope Component Architecture
python-zope-configuration-4.3.1-1-any.pkg.tar.xz Zope Configuration Markup Language (ZCML)
python-zope-copy-4.2-1-any.pkg.tar.xz Pluggable object copying mechanism
python-zope-deferredimport-4.3.1-1-any.pkg.tar.xz Allows you to perform imports names that will only be resolved when used in the code
python-zope-deprecation-4.4.0-1-any.pkg.tar.xz Zope Deprecation Infrastructure
python-zope-event-4.4-1-any.pkg.tar.xz Provides a simple event system
Advertisement
Advertisement