py27-z3solver-4.5.1.0.post2.tgz


Advertisement

Description

py27-z3solver - Theorem prover from Microsoft Research

Property Value
Distribution NetBSD 7.0
Repository NetBSD i386
Package filename py27-z3solver-4.5.1.0.post2.tgz
Package name py27-z3solver
Package version 4.5.1.0.post2
Package release -
Package architecture i386
Package type tgz
Category math
Homepage https://pypi.python.org/pypi/z3-solver/
License mit
Maintainer -
Download size 11.12 MB
Installed size 44.01 MB
Z3 is a theorem prover from Microsoft Research with support for bitvectors,
booleans, arrays, floating point numbers, strings, and other data types.

Alternatives

Package Version Architecture Repository
py27-z3solver-4.5.1.0.post2.tgz 4.5.1.0.post2 amd64 NetBSD
py27-z3solver - - -

Requires

Name Value
py27-setuptools >= 0.8
python27 >= 2.7.1nb2

Conflicts

Name Value
z3 -

Download

Type URL
Mirror ftp.netbsd.org
Binary Package py27-z3solver-4.5.1.0.post2.tgz
Source Package py27-z3solver

Install Howto

Install py27-z3solver tgz package:

# pkg_add py27-z3solver

Files

Path
/usr/pkg/lib/python2.7/site-packages/z3/lib/libz3.so

See Also

Package Description
py27-zanata-python-client-1.5.0.tgz Zanata translation service client written in Python
py27-zbase32-1.1.5.tgz Alternate base32 encoder (not RFC 3548 compliant)
py27-zc.lockfile-1.3.0.tgz Basic inter-process locks
py27-zconfig-3.3.0.tgz Configuration library
py27-zeep-2.5.0.tgz Fast and modern Python SOAP client
py27-zfec-1.4.24nb2.tgz Fast erasure codec
py27-zhCodecs-1.2.0nb1.tgz Python Unicode codecs for Chinese charsets
py27-zim-0.59nb16.tgz Zim brings the concept of a wiki to your desktop
py27-zinnia-0.06.tgz Zinnia python module
py27-zmq-17.1.2.tgz Python bindings for zeromq
py27-zope.deferredimport-4.3.tgz Imports names that will only be resolved when used in the code
py27-zope.deprecation-4.4.0.tgz Zope hookable
py27-zope.exceptions-4.3.tgz Zope testing helpers
py27-zope.hookable-4.2.0.tgz Zope hookable
py27-zope.proxy-4.3.1.tgz Generic Transparent Proxies
Advertisement
Advertisement