Search Criteria
Package Details: mingw-w64-z3 4.8.6-1
| Git Clone URL: | https://aur.archlinux.org/mingw-w64-z3.git (read-only) |
|---|---|
| Package Base: | mingw-w64-z3 |
| Description: | High-performance theorem prover (mingw-w64) |
| Upstream URL: | https://github.com/Z3Prover/z3 |
| Licenses: | |
| Submitter: | xantares |
| Maintainer: | xantares |
| Last Packager: | xantares |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2019-10-13 09:38 |
| Last Updated: | 2019-10-15 15:10 |
Dependencies (3)
- mingw-w64-gmp
- mingw-w64-cmake (make)
- python (python-dbg) (make)
Latest Comments
Martchus commented on 2019-10-14 13:41
The make dependency python is missing.