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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.5-1.1

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

%CSIZE%
1925002

%ISIZE%
9086971

%SHA256SUM%
694048388521f2c87180297b810adae1b0519c3a2c708a2aeb5ca8391b4f5333

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmkI0mgACgkQ87YHSI2zWkcozAwA0InX+2EcTFQvksZTn7x3OgWoVptiJ4Sf3kKCMGxzv3zhpZlqbpi8k73gVrHGMdb9S0UCwGIzw39pzQKOoUkg4SON37vmEQ+Pgat+awmfHi4yV+thAuFr2kwcweTVug/Lx4uvMBrGuD2ZW/ji8AOROAoN1BN7ATsI5eGiHLH3fFSaYm5QizRnXaTmSVqIu6todx6b/aqjQcPUZkb67MJ2JSbDHEDl9j/ypS+S8lQQcsCEJjYt2MAKRDrSH5Id7h7lFsBnmrfs3N00es5AgL/t03UmbMeTPDicrZfeMBgrwba3y0qFwDz4Gfcv8R7JnPcIQnW+jWmXzUmEGvIN2jwnb2yB2/CMufCFjlZqMiwORC3ywL60n0dY7jDytBP8tFHCMJDbRpkTlnWJtC0MYjagQ/3fpoGx5S1hTPv5qg6MKEn3PW2t/xHviyJIJY9Yzj8ZwdOBT8Xnf8SWf1U2UkEURvnjL0JZdZQ9bU8FJPTPKLP5vCVjBnVhaf9jil7UvObR

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
x86_64_v3

%BUILDDATE%
1762185745

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

