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. |