py27-pycosat-0.6.3.txz


Advertisement

Description

py27-pycosat - Bindings to PicoSAT (a SAT solver)

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename py27-pycosat-0.6.3.txz
Package name py27-pycosat
Package version 0.6.3
Package release -
Package architecture amd64
Package type txz
Category math python
Homepage https://github.com/ContinuumIO/pycosat
License MIT
Maintainer koobs@FreeBSD.org
Download size 12.92 KB
Installed size 58.90 KB
PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
package provides efficient Python bindings to picosat on the C level,
i.e. when importing pycosat, the picosat solver becomes part of the
Python process itself.
WWW: https://github.com/ContinuumIO/pycosat

Alternatives

Package Version Architecture Repository
py27-pycosat-0.6.3.txz 0.6.3 i386 FreeBSD Ports Quarterly
py27-pycosat-0.6.3.txz 0.6.3 amd64 FreeBSD Ports Quarterly
py27-pycosat-0.6.3.txz 0.6.3 i386 FreeBSD Ports Latest
py27-pycosat - - -

Requires

Name Value
libpicosat.so -
libpython2.7.so.1 -
picosat = 965
py27-setuptools = 41.0.0
python27 = 2.7.16_1

Download

Type URL
Mirror pkg.freebsd.org
Binary Package py27-pycosat-0.6.3.txz
Source Package math/py-pycosat

Install Howto

Install py27-pycosat txz package:

# pkg install py27-pycosat

See Also

Package Description
py27-pycparser-2.19.txz C parser in Python
py27-pycrypto-2.6.1_3.txz Python Cryptography Toolkit
py27-pycryptodome-3.8.2.txz Cryptographic library for Python
py27-pycryptodomex-3.8.2.txz Cryptographic library for Python
py27-pycryptopp-0.7.1.869544967005693312591928092448767568728501330214.txz Python Wrappers for the Crypto++ Library
py27-pyctpp2-0.12.2_4.txz Python interface to CTPP2 library
py27-pycups-1.9.74.txz CUPS bindings for Python
py27-pycurl-7.43.0.3.txz Python interface to libcurl
py27-pydbx-0.14.txz Simple SQL database abstraction layer for Python
py27-pydeep-0.2_1.txz Python bindings for ssdeep
py27-pydenticon-0.3.1.txz Library for generating identicons - an enhanced port of Sigil
py27-pydevd-1.1.1_2.txz Debugger used in PyDev and PyCharm
py27-pydicom-1.3.0.txz Read, modify, and write DICOM files with Python code
py27-pydispatcher-2.0.5.txz Multi-producer-multi-consumer signal dispatching mechanism
py27-pydnstable-0.7.2.txz Python wrapper for dns/dnstable
Advertisement
Advertisement