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.i686 [91 KiB] |
Changelog
by Joel Barrios (2022-07-13):
- Rebuild with GCC 8.5. |