%FILENAME%
yices-2.7.0-1-x86_64.pkg.tar.zst

%NAME%
yices

%BASE%
yices

%VERSION%
2.7.0-1

%DESC%
A solver for Satisfiability Modulo Theories (SMT) problems

%CSIZE%
1818552

%ISIZE%
8507779

%SHA256SUM%
5c894b42bf2e3824de31b05ab9dab39728e8a25896c866230d9a299523cc27cb

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAboACgkQrx0hme8KPM+QOxAAjllEBNZc/O0BptRDtRu9BBo5s34o2ELNG0oqXqTkBjVJVq/WIAyod3oIsrqnJKPLDHqy2HJThOxL3Fbh+w36lCwyWzofb1/WZDUshH79bXQ3dp5SMsL31eQgHcUm2mEcNs4ddPpRZYaCOsvTxq2pzkVDUVCfGBtL9ao+V8TRzYSgtV4cP/r69etacf608EhBJ9Q63Q9p7cGQQAJdOAJQthPqtKDstgaJARJSVxe2WqhtbDvrjNIv5sqMtB0/2xeZQ8njmb5ULlT3NWvE6h8De05glCGr7+O0lHqJscJ/xqy4WK9tNkqhZR4jmYIxpfHPv2tM0IWTv3B1zNJbOFmni2MYNHfNJSlQL4wlUAXlL1XCIZgHsvrPao1NnsBkSgee5sClFHdPbB7A4uog8SfQvD5YEnwZzPV6pdfydz1eboOcaoQPBYdbM0jdN+8X/bzXDS/tIIN6IGstxOCUYmkFRJL/xNpCa++gSiFABtqW+1I0q2pHshMg6LtFYHhRn/ZPmcuHNZclvm5C89izj3+dydNlq85vX6Ra4P/NvOZ7aylW8v1jvvs/5JKX9sKr50oWiZ7GjI7YOuCZcqOre7fhKH0VNCOfCtlWMADyeePXIBZ/IKnMEJ43jUzrPdLNaWFbJ0C7yv05oDHUr6vo944x8VhaKbw3m/mJGep6mFBFwNA=

%URL%
https://yices.csl.sri.com/

%LICENSE%
GPL-3.0-or-later

%ARCH%
x86_64

%BUILDDATE%
1772560468

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
git
gperf

