python3-z3 - Python 3 interface to z3
| Website: | https://github.com/Z3Prover/z3 |
|---|---|
| License: | MIT |
| Vendor: | Alcance Libre, Inc. |
- Description:
Python 3 interface to z3.
Packages
| python3-z3-4.8.17-2.aldos.noarch [210 KiB] |
Changelog
by Joel Barrios (2022-07-13):
- Rebuild with GCC 8.5. |