MANIFEST.in
picosat_python.i
setup.py
/home/travis/build/pysmt/pyPicoSAT/picosat_python.i
picosat-960/LICENSE
picosat-960/NEWS
picosat-960/README
picosat-960/VERSION
picosat-960/app.c
picosat-960/app.o
picosat-960/config.h
picosat-960/configure
picosat-960/libpicosat.a
picosat-960/main.c
picosat-960/main.o
picosat-960/makefile
picosat-960/makefile.in
picosat-960/mkconfig
picosat-960/picogcnf
picosat-960/picogcnf.c
picosat-960/picogcnf.o
picosat-960/picomcs
picosat-960/picomcs.c
picosat-960/picomcs.o
picosat-960/picomus
picosat-960/picomus.c
picosat-960/picomus.o
picosat-960/picosat
picosat-960/picosat.c
picosat-960/picosat.h
picosat-960/picosat.o
picosat-960/version.c
picosat-960/version.o
pyPicosat.egg-info/PKG-INFO
pyPicosat.egg-info/SOURCES.txt
pyPicosat.egg-info/dependency_links.txt
pyPicosat.egg-info/top_level.txt