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

%NAME%
yices

%BASE%
yices

%VERSION%
2.7.0-1.1

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

%CSIZE%
1963122

%ISIZE%
9310595

%SHA256SUM%
c9eca1522687897b7b9699984d6a96182694ed72b137288e67c376d224570846

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmmnMKkACgkQ87YHSI2zWkepyAv/d9/eG/RhDgC8ffXuCOuAQaNtjHZN24YGLGXY5nKUFrKiTZ0LxKAmI45GvSbVRI5UtIeiR7zVtvDhfcqSR0riDzX8BJUB3UOFD+jcZGmCqwT5WnTdErax+PQ6w3dq7KlHdS4A7IoSLtquBKfVp2G3iuqWxb4q05ypnP6E8SWZ+HsCXWJ20ZGpdI67Ngisw6v9eZRwRocDYW8jMjqqyBXdGXqWzKSRE+mUvOGUKr8qUwnJyRjcv9cjjEqcnErvvrWVEzbJg/V3Ywhbwz2mjMUm1fQwr9nGav1AHD0F06/fuQ2C1xe/JZEdElw2Ka2b5JXCSUW9bvQI4DMsyRriTNL1LMkcT6xTAw4nbeIASDq9hY/zCqXMJFM4vifHSXNfmoCxSzp4STwottXjDvLq5k8XuTmnW0GA+L2ejsRSOwGVo42HA6o54S0dCkT4IRWpIYOuiZRv5ASu3vaXK6s3PitNIwkuzt2lsy774j+oTW+ox4vokut4qJrist+wH6tEDTj7

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
x86_64_v3

%BUILDDATE%
1772564570

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
git
gperf

