%FILES%
usr/
usr/bin/
usr/bin/z3
usr/include/
usr/include/z3++.h
usr/include/z3.h
usr/include/z3_algebraic.h
usr/include/z3_api.h
usr/include/z3_ast_containers.h
usr/include/z3_fixedpoint.h
usr/include/z3_fpa.h
usr/include/z3_macros.h
usr/include/z3_optimization.h
usr/include/z3_polynomial.h
usr/include/z3_rcf.h
usr/include/z3_spacer.h
usr/include/z3_v1.h
usr/include/z3_version.h
usr/lib/
usr/lib/cmake/
usr/lib/cmake/z3/
usr/lib/cmake/z3/Z3Config.cmake
usr/lib/cmake/z3/Z3ConfigVersion.cmake
usr/lib/cmake/z3/Z3Targets-relwithdebinfo.cmake
usr/lib/cmake/z3/Z3Targets.cmake
usr/lib/libz3.so
usr/lib/libz3.so.4.15
usr/lib/libz3.so.4.15.1.0
usr/lib/pkgconfig/
usr/lib/pkgconfig/z3.pc
usr/share/
usr/share/licenses/
usr/share/licenses/z3/
usr/share/licenses/z3/LICENSE.txt
