py27-z3-4.8.3.tgz


Advertisement

Description

py27-z3 - Python bindings for the Z3 theorem prover / SMT solver

Property Value
Distribution NetBSD 7.0
Repository NetBSD i386
Package filename py27-z3-4.8.3.tgz
Package name py27-z3
Package version 4.8.3
Package release -
Package architecture i386
Package type tgz
Category math
Homepage https://github.com/Z3Prover/z3/
License mit
Maintainer -
Download size 147.88 KB
Installed size 1.26 MB
z3 is an open source theorem prover / SMT solver from Microsoft Research.
(SMT stands for "satisfiability modulo theories".)
This package contains the Python bindings for z3.

Alternatives

Package Version Architecture Repository
py27-z3-4.8.3.tgz 4.8.3 amd64 NetBSD
py27-z3 - - -

Requires

Name Value
python27 >= 2.7.1nb2
z3 >= 4.8.3

Download

Type URL
Mirror ftp.netbsd.org
Binary Package py27-z3-4.8.3.tgz
Source Package py27-z3

Install Howto

Install py27-z3 tgz package:

# pkg_add py27-z3

Files

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

See Also

Package Description
py27-z3solver-4.5.1.0.post2.tgz Theorem prover from Microsoft Research
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.4.0.tgz Configuration library
py27-zeep-3.3.1.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-zipp-0.5.1.tgz Backport of pathlib-compatible object wrapper for zip files
py27-zmq-18.0.1.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
Advertisement
Advertisement