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