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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-1.1

%DESC%
The Yices SMT Solver

%CSIZE%
1774763

%ISIZE%
8316779

%SHA256SUM%
68ecad37630dce4a9044c6e09beeb81d63cfd01cd0b8abf5eefcd85f8741c0a6

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1701365964

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

