bin/z3
include/z3++.h
include/z3.h
include/z3_algebraic.h
include/z3_api.h
include/z3_ast_containers.h
include/z3_fixedpoint.h
include/z3_fpa.h
include/z3_macros.h
include/z3_optimization.h
include/z3_polynomial.h
include/z3_rcf.h
include/z3_spacer.h
include/z3_v1.h
include/z3_version.h
lib/cmake/z3/Z3Config.cmake
lib/cmake/z3/Z3ConfigVersion.cmake
lib/cmake/z3/Z3Targets-release.cmake
lib/cmake/z3/Z3Targets.cmake
lib/libz3.4.15.4.0.dylib
lib/libz3.4.15.dylib
lib/libz3.dylib
lib/pkgconfig/z3.pc
