z3 4.13.0-2 File List
Package has 24 files and 10 directories.
- 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.13
- usr/lib/libz3.so.4.13.0.0
- usr/lib/pkgconfig/
- usr/lib/pkgconfig/z3.pc
- usr/share/
- usr/share/licenses/
- usr/share/licenses/z3/
- usr/share/licenses/z3/LICENSE.txt