Package Details: mingw-w64-z3 4.8.7-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: MIT
Submitter: xantares
Maintainer: xantares
Last Packager: xantares
Votes: 0
Popularity: 0.000000
First Submitted: 2019-10-13 09:38
Last Updated: 2019-11-30 04:27

Latest Comments

Martchus commented on 2019-10-14 13:41

The make dependency python is missing.