Search Criteria
Package Details: mingw-w64-z3 4.8.9-1
| Git Clone URL: | https://aur.archlinux.org/mingw-w64-z3.git (read-only, click to copy) |
|---|---|
| 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: | 2020-09-12 19:00 |
Dependencies (3)
- mingw-w64-gmp
- mingw-w64-cmake (make)
- python (python-dbg) (make)
Latest Comments
pingplug commented on 2020-05-16 10:19
it seems z3.exe needs a strip, or just remove z3.exe if not needed
xantares commented on 2020-05-16 08:11
could you try -O1 or something ?
pingplug commented on 2020-05-16 03:51
package size is unusually large, two
z3.exetake up 1.2GiB.Martchus commented on 2019-10-14 13:41
The make dependency python is missing.