py36-z3-solver-4.7.1.txz


Advertisement

Description

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

Property Value
Distribution FreeBSD 10
Repository FreeBSD Ports Quarterly i386
Package name py36-z3-solver
Package version 4.7.1
Package architecture i386
Package type txz
Installed size 1.62 MB
Download size 168.45 KB
Official Mirror pkg.freebsd.org
Python binding for Z3, a high-performance theorem prover developed
at Microsoft Research.
WWW: https://github.com/Z3Prover/z3
Categories: math
Maintainer: yuri@FreeBSD.org

Alternatives

Package Version Architecture Repository
py36-z3-solver-4.7.1.txz 4.7.1 amd64 FreeBSD Ports Quarterly
py36-z3-solver-4.7.1.txz 4.7.1 amd64 FreeBSD Ports Latest
py36-z3-solver-4.7.1.txz 4.7.1 i386 FreeBSD Ports Latest
py36-z3-solver - - -

Requires

Name Value
py36-setuptools = 40.0.0
python36 = 3.6.6_1

Download

Type URL
Binary Package py36-z3-solver-4.7.1.txz
Source Package math/py-z3-solver

Install Howto

Install py36-z3-solver txz package:

# pkg install py36-z3-solver

See Also

Package Description
py36-z3c.autoinclude-0.3.6.txz Automatically include ZCML
py36-z3c.batching-1.1.0_1.txz Simple sequence batching
py36-z3c.zcmlhook-1.0b1_1.txz Easily hook into the ZCML processing machinery
py36-zc.buildout-2.11.3.txz System for managing development buildouts
py36-zclockfile-1.1.0_1.txz Basic inter-process locks
py36-zconfig-3.0.4.txz General use python configuration library
py36-zdaemon-4.1.0.txz Daemon Process Control Library and Tools for Unix-bases Systems
py36-zeroconf-0.20.0.txz Pure python implementation of multicast DNS service discovery
py36-zodbpickle-0.7.0.txz Python pickling interface for ZODB
py36-zope.app.basicskin-3.5.1_1.txz Zope ZMI Basic Skin
py36-zope.app.renderer-3.5.1_1.txz Text Renderer Framework
py36-zope.app.schema-3.5.0_1.txz Component Architecture based Vocabulary Registry
py36-zope.broken-3.6.0_1.txz Zope Broken Object Interfaces
py36-zope.browser-2.1.0.txz Shared Zope Toolkit browser components
py36-zope.browserresource-3.10.3_1,1.txz Browser resources implementation for Zope
Advertisement
Advertisement