z3-doc - API documentation for Z3
| Website: | https://github.com/Z3Prover/z3 |
|---|---|
| License: | MIT |
| Vendor: | Alcance Libre, Inc. |
- Description:
API documentation for Z3.
Packages
| z3-doc-4.8.17-2.aldos.i686 [2.8 MiB] |
Changelog
by Joel Barrios (2022-07-13):
- Rebuild with GCC 8.5. |