%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn38QACgkQrx0hme8KPM/6/g/9GKKEQSMMN6fgRyxv7sRqtEeKJUxbFh/bRjSwCz2GbbCfX1KFFCwgos1IKRoCh1slqiyHvhTXHIz3Cagl+oOw2kUOMq8XYyQAV4SCHgab6nu+8Lc5VObTanQq0E9S6LgkZwdZlcJVyqjaU1PWLJsudHDhYAn1zzxUcFAxysec2tHKYPHX8z4l7waImkxtI1AFCXo0FyY2hJoptNyLcXFCzIlDq9bxlLEC0za4K3bOVZFrode39b/VrjdWjH6UUl9sTdkdCo3PcdkOTvbQQaBnls7oCGed5/7y3IG9U5iBagIwPTnRPeitZ+be+vkfSq7pyqqwucGsU1PojK3UT08HLBUb7Kr8HKUCuOwZGzHDjT6A4I+RtyWO5ZyBuZecGkwlSErgWOPn6181a87xhsyUpWTTXn+nDAgM/H/WCCiVesIPA9Cuha2+i5Y40d8BvIpI6s6dvEC0MQDUpKNhjNJSFaO2JVyfG/w1CL4FqjcHFzwt9kxsE9iEnMp19TLtbFhw4+m2PedjQtp+yNcYk5sDgbscWG1/r4mFDC7uNhipq5ONCf2K71QuIGgUi3Ha3lv1SRldJzs8bc65VhijI7ezGlSxKMRzaP36d/msu0u7N6djc3p2awm/jJDE9KaE+8KNLC/0A0MflX90A8YRl6TU1OvKIC8W7plRMgqloezcuF4=

%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

