%FILENAME%
yices-2.6.5-1.1-x86_64.pkg.tar.zst

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.5-1.1

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

%CSIZE%
1917688

%ISIZE%
9234427

%SHA256SUM%
97e13613ef5ee5e76c9b24fa04adb30e74a40f22b4d1b7bead24cb42058d1acc

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
x86_64

%BUILDDATE%
1762188043

%PACKAGER%
ALHP x86-64-v3 <alhp@harting.dev>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

