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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.5-1.1

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

%CSIZE%
1952417

%ISIZE%
9533435

%SHA256SUM%
73ea67082630aa5ad81d0c69ce8ba3b1d282f94021cf1c75e599f39d856786f5

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmkI0UoACgkQ87YHSI2zWkfAggwA4xx+wBX1/QLQZxXpNfrnpp/zqs/WZGFXEhPeXpaLsp0MBE6gyhnCg+odzg87twrZskRIIhEgP0pyphgZpTgayTFDTkW5vzej1eDyA/+D05znKKOgzELFjq1OYH3RD0r/VXajU4HxrLALgBr7AWBlmwkdda8Mxh3IlCqrDuoES5/YI+cA0zbwt4GlmAJJMHFsvp2ex3TKzZqHAufxyo6xKG0xdyHC4J38YAZdOrAd+EhaYV7nhU/WbuckMMxZ1W6KeS70OVwzTuHvOB4yjKwWNncnIPpUSpWKJJCPvz6hcZPklaur7OYhxd4hp3+inI68X91kcMOVcIBhdrwjkL3k8ghsGzCKG+U2kTuQHHAHgl1p58DVyVrp7EjOqPaNBcp/tb0frgPgPb4q1+Yr+B9vnHKAxT+WV8cJnuANsJdFgwJG76CxW2dNIW0jT/L0Ew863pFKsBkcLWEiDoUWrxe8ECJfIDDYjz6litcofXJCOAjhKOdR7L1Qih0zV1pH6/If

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
x86_64_v4

%BUILDDATE%
1762185454

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

