python-pycosat
Version 0.6.6-3 from extra (x86_64)
- Description
- Python bindings to picosat (a SAT solver)
- Homepage
- https://github.com/conda/pycosat
- Base Package
- pycosat
- License(s)
- MIT
- Build Date
- Packager
- Antonio Rojas <arojas@archlinux.org>
- Package Size
- 53.63 KB
- Installed Size
- 143.43 KB
- Download Mirror
- https://cdn77.cachyos.org/repo/x86_64/extra/python-pycosat-0.6.6-3-x86_64.pkg.tar.zst
- SHA256 Sum
- 8af3eb7c776329e93669a2fcd50fdca1e291789994be2bb0094bb9a3e4f700a4
- Optional Deps
- N/A
- Provides
- N/A
- Conflicts With
- N/A
- Replaces
- N/A
- Package Files