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