gentoo.mahdi.cz
dev-python
:SATX
SAT-X The constraint modeling language for SAT solvers
https://twitter.com/maxtuno
SATX-0.3.8
MIT
download
~amd64 ~x86
pypi