%FILENAME%
yices-2.6.4-2.0-i486.pkg.tar.zst

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-2.0

%DESC%
The Yices SMT Solver

%CSIZE%
1667428

%ISIZE%
11079567

%SHA256SUM%
e4db9a76043c88e9415d6cb24e95e9d1007acd0c4c3f5d8fb8579af4e352b4d1

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

%LICENSE%
GPL

%ARCH%
i486

%BUILDDATE%
1723430460

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

