gentoo.mahdi.cz
dev-python
:python-sat
A Python library for prototyping with SAT oracles
https://github.com/pysathq/pysat
python-sat-1.8_pre9
MIT
download
~amd64 ~x86
pypi