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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.5-1

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

%CSIZE%
986484

%ISIZE%
7613159

%SHA256SUM%
9d81ae2a8929d776977ed226288f84654b317d3a51906604c68b9f5b5f1b71e1

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
armv7h

%BUILDDATE%
1762189380

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

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

