gentoo.mahdi.cz
dev-python
:pycosat
bindings to picosat (a SAT solver)
https://github.com/ContinuumIO/pycosat
pycosat-0.6.6
MIT
download
~amd64 ~x86
pypi
pycosat-0.6.6
MIT
download
amd64 ~arm64 ~riscv ~x86
gentoo-zh
pycosat-0.6.3
MIT
download
amd64 ~arm64 ~riscv ~x86
ahyangyi-overlay