%FILENAME%
yices-2.7.0-1.1-x86_64_v4.pkg.tar.zst

%NAME%
yices

%BASE%
yices

%VERSION%
2.7.0-1.1

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

%CSIZE%
1997685

%ISIZE%
9650563

%SHA256SUM%
5db78f97ac748600ef8bc11e9d030698a80fc2fbb06cba46371c2cbc77609f51

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmmnMLQACgkQ87YHSI2zWkcxCwwA1jyTkI2XMaqqvXIYgk/BnAfEQ7+0wHMcR3tDBMVKQI+hRZYIYm3pCR2JTaXeUWOereiuC3ucSxTr7OAimhtbC8wRwjuXjt2dsUHiCQRPva55zhzzYkZJmrrtvy/q9ff7oqksXPyqvBo5KIKFpnLP+F7IWcqCIUM+OLM95voO5y13mTlfKdsS1K5/3ZGQlq8RjoZRN2/xQuQ+LtJ0J8G4lB7HWk3pgyYlncUH8Rh3LXtFkQ+nZbCm3aldAXhIw4XLWHe+S2kNmkNhyF4KiLljozknsXWBMAE5NTSv5SQ2QivIjMcOIcQuFSzXcdXR8pMa+UQb24AJxoeDgrrQK9qRGNzVamsdieJvokl9tkzUsavMg52GZfG+6XKIEs+5gX9lxaEK19P4TW06xwFKEHj/91GIlGbJy4dMKMGL72W9ivETgi5kFD04DJ/rW9Rvsufx4D9zGU4MzqCdUBn0gN9EYwATQRnG1xazk0NzRLs9H4ER1aOb/08EU5inBCnfs69m

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
x86_64_v4

%BUILDDATE%
1772564581

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
git
gperf

