Letter Z

z3-libs - Library for applications that use z3 functionality

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

Packages

z3-libs-4.8.17-2.aldos.i686 [9.2 MiB] Changelog by Joel Barrios (2022-07-13):
- Rebuild with GCC 8.5.
z3-libs-4.8.17-2.aldos.x86_64 [8.8 MiB] Changelog by Joel Barrios (2022-07-13):
- Rebuild with GCC 8.5.

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