Port details on branch 2022Q2 |
- py-cryptominisat Bindings to CryptoMiniSat (a SAT solver)
- 5.11.21 math =0 5.11.21Version of this port present on the latest quarterly branch.
- Maintainer: arrowd@FreeBSD.org
- Port Added: 2015-05-05 21:54:48
- Last Update: 2024-02-11 10:07:23
- Commit Hash: bfae4d8
- Also Listed In: python
- License: MIT LGPL21
- WWW:
- https://github.com/msoos/cryptominisat
- Description:
- 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.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- ${PYTHON_PKGNAMEPREFIX}cryptominisat>0:math/py-cryptominisat@${PY_FLAVOR}
- To install the port:
- cd /usr/ports/math/py-cryptominisat/ && make install clean
- To add the package, run one of these commands:
- pkg install math/py-cryptominisat
- pkg install py39-cryptominisat
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above. NOTE: This is a Python port. Instead of py39-cryptominisat listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py39-cryptominisat
- Package flavors (<flavor>: <package>)
- distinfo:
- TIMESTAMP = 1707645848
SHA256 (msoos-cryptominisat-5.11.21_GH0.tar.gz) = 288fd53d801909af797c72023361a75af3229d1806dbc87a0fcda18f5e03763b
SIZE (msoos-cryptominisat-5.11.21_GH0.tar.gz) = 975459
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- py39-toml>0 : textproc/py-toml@py39
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- Test dependencies:
-
- python3.9 : lang/python39
- Runtime dependencies:
-
- py39-toml>0 : textproc/py-toml@py39
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- Library dependencies:
-
- libcryptominisat5.so : math/cryptominisat
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_py-cryptominisat
- USES:
- compiler:c++11-lib python
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|