gentoo.mahdi.cz
dev-python
:eznf
A prototype library to prototype SAT encodings
https://github.com/bsubercaseaux/eznf
eznf-0.55.2
download
~amd64 ~x86
pypi