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

%NAME%
yices

%BASE%
yices

%VERSION%
2.7.0-1

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

%CSIZE%
4190981

%ISIZE%
8399995

%SHA256SUM%
cba8ea94bfaa28206634968bba098eaab0283d897afad3ef4eea3e85b1b0f99a

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
aarch64

%BUILDDATE%
1772693604

%PACKAGER%
Ben Schneider <ben@bens.haus>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
git
gperf

