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

Property Value
Distribution FreeBSD 10
Repository FreeBSD Ports Quarterly i386
Package name py27-cryptominisat
Package version 5.6.3
Package architecture i386
Package type txz
Installed size 32.23 KB
Download size 12.33 KB
Official Mirror
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.
Categories: math, python


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


Name Value
cryptominisat = 5.6.3_1 - -
py27-setuptools = 40.0.0
python27 = 2.7.15


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

Install Howto

Install py27-cryptominisat txz package:

# pkg install py27-cryptominisat

See Also

Package Description
py27-cssmin-0.2.0_1.txz Python port of the YUI CSS compression algorithm
py27-cssselect-0.9.1_2.txz Cssselect parses CSS3 Selectors and translates them to XPath 1.0
py27-cssutils-1.0.2,1.txz CSS Cascading Style Sheets library for Python
py27-csvkit-1.0.3.txz Command line tools for working with CSV
py27-ctags-1.0.5_1.txz Python bindings for ctags index file
py27-cuisine-0.7.13.txz Chef-like functionality for Fabric
py27-cursive-0.1.1.txz Cursive implements OpenStack-specific validation of digital signatures
py27-curtsies-0.3.0_1.txz Curses-like terminal wrapper, with colored strings
py27-cutadapt-1.18.txz Trim adapters from high-throughput sequencing reads
py27-cvxopt-1.2.1.txz Python software for convex optimization
py27-cxx-6.0.0.txz Make it easier to extend Python with C++
py27-cybox- Python library for parsing, manipulating, and generating CybOX content
py27-cycler-0.10.0.txz Composable style cycles
py27-cyipopt-0.1.9.txz Cython interface for the interior point optimizer IPOPT
py27-cymruwhois-1.6.txz Python client for the service