Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: lib64z3-devel | Distribution: OpenMandriva Lx |
Version: 4.12.1 | Vendor: OpenMandriva |
Release: 1 | Build date: Wed Mar 15 20:29:12 2023 |
Group: Development/C | Build host: altra-2.openmandriva.org |
Size: 549190 | Source RPM: z3-4.12.1-1.src.rpm |
Packager: angrypenguin <angrypenguinpoland@gmail.com> | |
Summary: Development files for the Z3 Theorem Prover |
Development files for the Z3 Theorem Prover
MIT
/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/lib64/cmake/z3 /usr/lib64/cmake/z3/Z3Config.cmake /usr/lib64/cmake/z3/Z3ConfigVersion.cmake /usr/lib64/cmake/z3/Z3Targets-relwithdebinfo.cmake /usr/lib64/cmake/z3/Z3Targets.cmake /usr/lib64/libz3.so /usr/lib64/pkgconfig/z3.pc
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Oct 8 23:25:21 2024