picosat-cffi (pypi): Low-level CFFI bindings for PicoSAT
Keywords: picosat|sat