%FILENAME%
yices-2.6.5-1.0-i486.pkg.tar.zst

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.5-1.0

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

%CSIZE%
1687362

%ISIZE%
11157615

%SHA256SUM%
eb7cad650ac5e6b382571b02de725d02ba6c4432b3e9ca39193d187bc7b684a6

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
i486

%BUILDDATE%
1767558117

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

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

