Home > Repositories > base > libz3-devel (x86_64)
This package contains libraries and header files for developing applications that use z3.
Provided files
libz3-devel: Development files for z3
This package contains libraries and header files for developing applications that use z3.
| Name: | libz3-devel |
| Release: | 4.15.4-1mamba |
| Architecture: | x86_64 |
| Group: | Development/Libraries |
| Size: | 119.02 kB |
| Upstream URL: | https://github.com/Z3Prover |
| Source RPM: | z3 |
| Brothers | Provides | Obsoletes | Requires | Recommends |
|---|---|---|---|---|
| libz3 z3 z3-debug | cmake-filesystem(x86-64) libz3-devel = 0:4.15.4-1mamba libz3-devel(x86-64) = 0:4.15.4-1mamba pkgconfig(z3) = 0:4.15.4.0 | /usr/bin/pkg-config [1] libz3 = 0:4.15.4-1mamba [1] |
