Search Criteria
Package Details: mingw-w64-z3 4.8.10-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: | 2021-01-27 17:13 |
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.exe
take up 1.2GiB.Martchus commented on 2019-10-14 13:41
The make dependency python is missing.