AUTHORS
COPYING
README.md
/builddir/build/BUILD/CVC4-1.8/redhat-linux-build/src/api/python/pycvc4/__init__.py
/builddir/build/BUILD/CVC4-1.8/redhat-linux-build/src/api/python/pycvc4/pycvc4.so
pycvc4.egg-info/PKG-INFO
pycvc4.egg-info/SOURCES.txt
pycvc4.egg-info/dependency_links.txt
pycvc4.egg-info/top_level.txt