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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.5-1.0

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

%CSIZE%
1766871

%ISIZE%
8569299

%SHA256SUM%
d0b56212901ff30f8cc8c220f7363638f04721331c4788dfb37feb66e8216c7a

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
pentium4

%BUILDDATE%
1766655382

%PACKAGER%
Erich Eckner <arch at eckner dot net>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

