Letter Z

z3-devel - Header files for build applications that use z3

Website: https://github.com/Z3Prover/z3
License: MIT
Vendor: Alcance Libre, Inc.
Description:
Header files for build applications that use z3.

Packages

z3-devel-4.8.17-2.aldos.x86_64 [91 KiB] Changelog by Joel Barrios (2022-07-13):
- Rebuild with GCC 8.5.

Listing created by Repoview-0.6.6-6.fc14.al