CHANGES.txt
LICENSE.txt
MANIFEST.in
README.txt
setup.cfg
setup.py
./picosat-956/picosat.c
./picosat/../picosat-956/picosat.c
/home/dholth/prog/picosat-cffi/picosat-956/picosat.c
picosat/__init__.py
picosat/docstrings.py
picosat/test.py
picosat-956/LICENSE
picosat-956/NEWS
picosat-956/README
picosat-956/VERSION
picosat-956/app.c
picosat-956/configure
picosat-956/main.c
picosat-956/makefile.in
picosat-956/mkconfig
picosat-956/picogcnf.c
picosat-956/picomcs.c
picosat-956/picomus.c
picosat-956/picosat.c
picosat-956/picosat.h
picosat-956/version.c
picosat/../picosat-956/picosat.c
picosat/__pycache__/_cffi__x8fd5782bx8b652155.c
picosat_cffi.egg-info/PKG-INFO
picosat_cffi.egg-info/SOURCES.txt
picosat_cffi.egg-info/dependency_links.txt
picosat_cffi.egg-info/not-zip-safe
picosat_cffi.egg-info/requires.txt
picosat_cffi.egg-info/top_level.txt