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

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest amd64
Package filename py36-pycosat-0.6.3.txz
Package name py36-pycosat
Package version 0.6.3
Package release -
Package architecture amd64
Package type txz
Category math python
License MIT
Download size 12.98 KB
Installed size 63.19 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.


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


Name Value - -
picosat = 965
py36-setuptools = 41.0.0
python36 = 3.6.8_2


Type URL
Binary Package py36-pycosat-0.6.3.txz
Source Package math/py-pycosat

Install Howto

Install py36-pycosat txz package:

# pkg install py36-pycosat

See Also

Package Description
py36-pycount-0.0.6_1.txz Initial effort to Python code metrics
py36-pycparser-2.18.txz C parser in Python
py36-pycrypto-2.6.1_3.txz Python Cryptography Toolkit
py36-pycryptodome-3.7.3.txz Cryptographic library for Python
py36-pycryptodomex-3.7.3.txz Cryptographic library for Python
py36-pyctpp2-0.12.2_4.txz Python interface to CTPP2 library
py36-pycups-1.9.74.txz CUPS bindings for Python
py36-pycurl- Python interface to libcurl
py36-pydantic-0.23.txz Data validation and settings management using python 3.6 type hinting
py36-pydenticon-0.3.1.txz Library for generating identicons - an enhanced port of Sigil
py36-pydevd-1.1.1_2.txz Debugger used in PyDev and PyCharm
py36-pydicom-1.2.2.txz Read, modify, and write DICOM files with Python code
py36-pydispatcher-2.0.5.txz Multi-producer-multi-consumer signal dispatching mechanism
py36-pydocstyle-3.0.0_1.txz Python docstring style checker
py36-pydocumentdb-2.3.3.txz Azure DocumentDB Python SDK