Package Details: mingw-w64-z3 4.12.1-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 (UTC)
Last Updated: 2023-02-06 19:39 (UTC)

Latest Comments

Alexander3XL commented on 2022-12-27 08:14 (UTC)

I get an error: -- Build type: None CMake Error at CMakeLists.txt:138 (message): "None" is an invalid build type.

Add a build type: ${_arch}-cmake -DCMAKE_BUILD_TYPE=Release

pingplug commented on 2020-05-16 10:19 (UTC)

it seems z3.exe needs a strip, or just remove z3.exe if not needed

xantares commented on 2020-05-16 08:11 (UTC)

could you try -O1 or something ?

pingplug commented on 2020-05-16 03:51 (UTC)

package size is unusually large, two z3.exe take up 1.2GiB.

Martchus commented on 2019-10-14 13:41 (UTC)

The make dependency python is missing.