python-z3 - theorem prover from Microsoft Research - Python bindings

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package name python-z3
Package version 4.4.1
Package release 0.3+b1
Package architecture amd64
Package type deb
Installed size 541 B
Download size 65.37 KB
Official Mirror
Description -


Package Version Architecture Repository
python-z3_4.4.1-0.3+b1_i386.deb 4.4.1 i386 Debian Main
python-z3 - - -


Name Value
libz3-dev = 4.4.1-0.3+b1
python:any << 2.8
python:any >= 2.7.5-5~


Type URL
Binary Package python-z3_4.4.1-0.3+b1_amd64.deb
Source Package z3

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install python-z3 deb package:
    # sudo apt-get install python-z3




See z3_4.4.1-0.3+b1_amd64.deb changelog.

See Also

Package Description
python-zake_0.2.2-2_all.deb provides a set of testing utilities for the kazoo library - Python 2.x
python-zaqarclient_1.9.0-2_all.deb OpenStack Zaqar Queueing API, client and library - Python 2.7
python-zbar_0.10+doc-10.1+b3_amd64.deb bar code scanner and decoder (Python bindings)
python-zbarpygtk_0.10+doc-10.1+b3_amd64.deb bar code scanner and decoder (PyGTK bindings)
python-zc.buildout_1.7.1-1_all.deb system for managing development buildouts
python-zc.customdoctests_1.0.1-1_all.deb Use Python doctest with other languages
python-zc.lockfile_1.3.0-1_all.deb Basic inter-process locks for Python 2
python-zconfig_3.1.0-1_all.deb Structured Configuration Library, for Python 2
python-zdaemon_2.0.7-1_all.deb daemon process control library and tools for Unix-based systems
python-zeep_2.5.0-1_all.deb Modern SOAP client library (Python 2)
python-zeitgeist_1.0.1-0.2_all.deb event logging framework - Python bindings
python-zenoss_0.6.3-1_all.deb module to work with the Zenoss JSON API
python-zeroc-ice_3.7.1-2_amd64.deb Python 2 extension for Ice
python-zeroconf_0.19.1-1_all.deb Pure Python implementation of multicast DNS service discovery
python-zfec_1.5.2-2+b1_amd64.deb fast erasure codec, with Python bindings