py27-cryptominisat - Bindings to CryptoMiniSat (a SAT solver)

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename py27-cryptominisat-5.6.8_1.txz
Package name py27-cryptominisat
Package version 5.6.8
Package release 1
Package architecture amd64
Package type txz
Category math python
License MIT, LGPL21
Download size 14.35 KB
Installed size 40.60 KB
This package provides Python bindings to CryptoMiniSat on the C++ level,
i.e. when importing pycryptosat, the CryptoMiniSat solver becomes part of the
Python process itself.


Package Version Architecture Repository
py27-cryptominisat-5.6.8_1.txz 5.6.8 i386 FreeBSD Ports Latest
py27-cryptominisat-5.6.8.txz 5.6.8 i386 FreeBSD Ports Quarterly
py27-cryptominisat-5.6.8.txz 5.6.8 amd64 FreeBSD Ports Quarterly
py27-cryptominisat - - -


Name Value
cryptominisat = 5.6.8_2 - -
py27-setuptools = 41.0.1
python27 = 2.7.16_1


Type URL
Binary Package py27-cryptominisat-5.6.8_1.txz
Source Package math/py-cryptominisat

Install Howto

Install py27-cryptominisat txz package:

# pkg install py27-cryptominisat

See Also

Package Description
py27-css-parser-1.0.4.txz CSS related utilities (parsing, serialization, etc) for python
py27-csscompressor-0.9.5.txz Python port of YUI CSS Compressor
py27-cssmin-0.2.0_2.txz Python port of the YUI CSS compression algorithm
py27-cssselect-1.0.3.txz Cssselect parses CSS3 Selectors and translates them to XPath 1.0
py27-cssutils-1.0.2_1,1.txz CSS Cascading Style Sheets library for Python
py27-csvkit-1.0.4.txz Command line tools for working with CSV
py27-ctags-1.0.5_1.txz Python bindings for ctags index file
py27-cu2qu-1.6.5.txz Cubic-to-quadratic bezier curve conversion
py27-cuisine-0.7.13_1.txz Chef-like functionality for Fabric
py27-cursive-0.2.2.txz Cursive implements OpenStack-specific validation of digital signatures
py27-curtsies-0.3.0_1.txz Curses-like terminal wrapper, with colored strings
py27-custom_inherit-2.2.0.txz Package providing tools for inheriting docstrings in customizable ways
py27-cvxopt-1.2.3_1.txz Python software for convex optimization
py27-cvxpy-1.0.24_1.txz Domain-specific language for modeling convex optimization problems
py27-cxx-6.0.0.txz Make it easier to extend Python with C++