MANIFEST
dist
core
build
*.egg-info
bin
z3/lib
z3/include
