%FILENAME%
yices-2.7.0-1-armv7h.pkg.tar.xz

%NAME%
yices

%BASE%
yices

%VERSION%
2.7.0-1

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

%CSIZE%
1048540

%ISIZE%
8283235

%SHA256SUM%
e97555b2bdfb3f6d64fa1b4b3451df34d2b12efb1c0385f13e62253e273d0ceb

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
armv7h

%BUILDDATE%
1772570076

%PACKAGER%
Arch Linux ARM Build System <builder+xu4@archlinuxarm.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
git
gperf

