Header files for building applications that use z3
95.37 KB
built 2026-10-18 07:59:21 GMT
Description
Header files for building applications that use z3.
Dependencies
13 totalRequires8
- /usr/bin/pkg-config
- cmake-filesystem(riscv-64)
- libz3.so.5.1()(64bit)
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsZstd) <= 5.4.18-1
- z3-libs(riscv-64) = 5.1.0-2.fc45
Provides5
- cmake(Z3) = 5.1.0.0
- cmake(z3) = 5.1.0.0
- pkgconfig(z3) = 5.1.0.0
- z3-devel = 5.1.0-2.fc45
- z3-devel(riscv-64) = 5.1.0-2.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances
Files
22Name  |
Size |
|---|---|
| /usr/include/z3 | 0.00 B |
| /usr/include/z3/z3++.h | 215.46 KB |
| /usr/include/z3/z3.h | 495.00 B |
| /usr/include/z3/z3_algebraic.h | 7.03 KB |
| /usr/include/z3/z3_api.h | 271.41 KB |
| /usr/include/z3/z3_ast_containers.h | 5.60 KB |
| /usr/include/z3/z3_fixedpoint.h | 13.79 KB |
| /usr/include/z3/z3_fpa.h | 42.90 KB |
| /usr/include/z3/z3_macros.h | 389.00 B |
| /usr/include/z3/z3_optimization.h | 13.53 KB |
| /usr/include/z3/z3_polynomial.h | 1.03 KB |
| /usr/include/z3/z3_rcf.h | 9.73 KB |
| /usr/include/z3/z3_spacer.h | 4.35 KB |
| /usr/include/z3/z3_v1.h | 2.17 KB |
| /usr/include/z3/z3_version.h | 210.00 B |
| /usr/lib64/cmake/z3 | 0.00 B |
| /usr/lib64/cmake/z3/Z3Config.cmake | 2.64 KB |
| /usr/lib64/cmake/z3/Z3ConfigVersion.cmake | 2.70 KB |
| /usr/lib64/cmake/z3/Z3Targets-relwithdebinfo.cmake | 858.00 B |
| /usr/lib64/cmake/z3/Z3Targets.cmake | 4.33 KB |
| /usr/lib64/libz3.so | 12.00 B |
| /usr/lib64/pkgconfig/z3.pc | 261.00 B |
Files 1–22 of 22
Component of
buildroots that installed this RPMNo Buildroots