pkgname = z3
pkgbase = z3
pkgver = 4.16.0-0
pkgdesc = Z3 is a theorem prover from Microsoft Research 
url = https://github.com/Z3Prover/z3
builddate = 1771486271
packager = @termux
size = 31503054
arch = arm
license = MIT
depend = libc++
