%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%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmmnIM8ACgkQeGxj8zDXy5K7Eg//eSFKBRPgfu7ySveBBPAfNf3NoWXm1PKDBhgVr9M1zE2IuLZFtuQpxpvbNHczoJn/PlTSXxaETgPdHhX3SK4XDYSYBRzv+PCEqK5xsAu53n1dA5FhS5hokC4N0Zvufdjka4qZr3wN8mQ5tHWE4GJLZAB34ANWAbFNrafztIXDu//0ea9FvRjLWwfNU0QlU3vtiKb+k15TYsRO9znVoE9UrjUjC+qAbgriezKdgrAi0X9/Q550YgpKJJ8KNmNVpnFoHxi/x+ecL/THLW//zfkQIemc1m835IRTQ15nfNZ+2ebNrK7lIdJYLTthhdVn/Dfykse/Qdpzb517JeSNOfPUlf4nWlWOnZ4DKAETvgesMPAHKRdHHxci0CO8Dj0kPvt1Csfz7js2cQPcLStNRjDq0Oh310lSj8kRXhAnyRPrWNKdMbfrGzK8+SNQ2e+/QpIzfpg0qpwdiF+42DF4F/wVQAGpSMr8dAeeZxI/hLpS2J0jZyk6ddn6z8m9nU4MFQZ82+z7TCxWkjxlVx/W9yWSJak6xOYVmIl4/j2V5WwnwwUOa/H2h+4m56bjeaSIxRMfIqoTH897eiZ0onLIEYP6p/GefDBuyzVY76XyHZRQYe6EfA1jJ2k5UDUIKKqGjjZfAVuYJv0jzGknHctFbYlpWff3zeSEFd33PRj/BTzYCrI=

%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

