gentoo.mahdi.cz

  

dev-python:simplesat


Simple SAT solvers for use in Enstaller
https://github.com/enthought/sat-solvers

simplesat-0.8.2
download~amd64 ~x86pypi