py27-z3-solver-4.8.4_3.txz


Advertisement

Description

py27-z3-solver - Python binding for Z3 Theorem Prover

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest amd64
Package filename py27-z3-solver-4.8.4_3.txz
Package name py27-z3-solver
Package version 4.8.4
Package release 3
Package architecture amd64
Package type txz
Category math
Homepage https://github.com/Z3Prover/z3
License MIT
Maintainer yuri@FreeBSD.org
Download size 159.64 KB
Installed size 1.85 MB
Python binding for Z3, a high-performance theorem prover developed
at Microsoft Research.
WWW: https://github.com/Z3Prover/z3

Alternatives

Package Version Architecture Repository
py27-z3-solver-4.8.4_3.txz 4.8.4 amd64 FreeBSD Ports Quarterly
py27-z3-solver - - -

Requires

Name Value
py27-setuptools = 41.0.1
python27 = 2.7.16_1

Download

Type URL
Mirror pkg.freebsd.org
Binary Package py27-z3-solver-4.8.4_3.txz
Source Package math/py-z3-solver

Install Howto

Install py27-z3-solver txz package:

# pkg install py27-z3-solver

See Also

Package Description
py27-z3c.autoinclude-0.3.6.txz Automatically include ZCML
py27-z3c.batching-1.1.0_1.txz Simple sequence batching
py27-z3c.caching-2.0a1_1.txz Caching infrastructure for web apps
py27-z3c.form-3.2.10.txz Advanced form and widget framework for Zope 3
py27-z3c.formwidget.query-0.12.txz Source query widget for z3c.form
py27-z3c.zcmlhook-1.0b1_1.txz Easily hook into the ZCML processing machinery
py27-zExceptions-2.13.0_1.txz Contains common exceptions used in Zope2
py27-zLOG-2.11.2_1.txz General logging facility
py27-zbase32-1.1.5_1.txz Base32 Encoder/Decoder
py27-zc.buildout-2.11.3.txz System for managing development buildouts
py27-zclockfile-1.4.txz Basic inter-process locks
py27-zconfig-3.0.4.txz General use python configuration library
py27-zdaemon-4.1.0.txz Daemon Process Control Library and Tools for Unix-bases Systems
py27-zfec-1.5.3.txz Fast erasure codec for Python
py27-zinnia-0.06.txz Python interface for Zinnia
Advertisement
Advertisement