Links for picosat-cffi
picosat-cffi-0.0.1.tar.gz
http://fmv.jku.at/papers/Biere-JSAT08.pdf
http://fmv.jku.at/picosat/