%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%
1961484

%ISIZE%
9431035

%SHA256SUM%
565f52e66b794e28d0b489e2ce96899766583521282bc4d320ebaaf43272efe5

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmkI0owACgkQ87YHSI2zWkd8uAv+P8lpxU9s8JxEd4KTosCHhC7qsLEBYNhiGuck8zhq1cIOUbe23nbGTKRgmrnmfq1x7IVvzu1DXOjVSxzVT6RJecwKvNkOdr7wUFEpe+dZmJmjF27/iGo9i0BH0sqrtE8oS/9xEuWVvQncMmcUBIYu4HU5/I/FI4mZUzjub11mi7tkqhtZ1Y5hwoAKnoisCk1VQO7sXflR1/k6Ei3GmWiJqMeD97EY4fI2TnrgifbPGQ2iqAhMpSUUOc3Y3YxMGF+R9gZX5veIoV1p18H03XDXW2Lx9o+G5zQqYG+4NHDo5yeoebE5anI5l+6VeXnZl6iOrbi+gR1iKxqm0R88uZWUKHsCCFPwXTI8tDbIAbfRl9QplgPy8dajN3NXl6fTP2UAVc+LPpJRz9m4fPtLvyLVSlet257HpHtzVIiP+oWKl90397lYHuvpXPnNX55mLNcIDPzQ/jdGe8RF0t0a1t03p85rYwejiFzwHlkq3/XHI4PZuSOUFTMPSEgOns4S+ZKl

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
x86_64_v4

%BUILDDATE%
1762185782

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

