BSD Portsmath/py-cryptominisat 5.11.21_1 DragonFly
Bindings to CryptoMiniSat (a SAT solver)
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- LGPL21, MIT
- Categories
- math, python
- Package size
- 508.0 KiB, 1531.7 KiB installed
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.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/py-cryptominisat | 5.11.21_1 |
| FreeBSD | math/py-cryptominisat | 5.11.21_1 |
| HardenedBSD | math/py-cryptominisat | 5.11.21_1 |
| GhostBSD | math/py-cryptominisat | 5.11.21_1 |
Install
Binary package:
pkg install py311-cryptominisatFrom DPorts:
cd /usr/dports/math/py-cryptominisat && make install cleanDependencies
Run dependencies 3
No port depends on this one.