BSD Portswip/py-cosat 0.6.6 NetBSD
bindings to picosat (a SAT solver)
- System
- NetBSD
- Repository
- pkgsrc-wip
- Maintainer
- [email protected]
- License
- mit
- Categories
- wip, math
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. For ease of deployment, the picosat source (namely picosat.c and picosat.h) is included in this project
Install
From pkgsrc-wip (no binary package):
cd /usr/pkgsrc/wip/py-cosat && make install clean