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 = 47469942
arch = aarch64
license = MIT
depend = libc++
