A cffi binding for PicoSAT [1]_, a SAT solver written in C. This binding
is designed to expose the whole PicoSAT API at a moderately low level.

.. [1] http://fmv.jku.at/picosat/
.. [2] http://fmv.jku.at/papers/Biere-JSAT08.pdf
