Links for picosat-cffi

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