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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.5-1.0

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

%CSIZE%
1699496

%ISIZE%
8352211

%SHA256SUM%
653dacf7f9a69b6dc992bf3d4c3b75af4d455e6ad84feb31a5512f4bb5deb203

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
i686

%BUILDDATE%
1766655167

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

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

