%FILENAME%
yices-2.6.5-1-x86_64.pkg.tar.zst

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.5-1

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

%CSIZE%
1785662

%ISIZE%
8280059

%SHA256SUM%
7b7a2733462638fe530043f8174683895603a592870b0d5b5cd64bfef08bc16f

%PGPSIG%
iQIzBAABCgAdFiEExdKm4O0tEcZrn6KjBjE5EQV91agFAmj8v7MACgkQBjE5EQV91agFHw//YhppjOwrkQZd050qd20SDNHvO71JyZqzVtm5vOJYoyoRTcHRN4kSWY6PHjDcC9+UeS9nEuz31flJhHnQ2sFdxlVpWwEkl5T5o1UOFNFpFmYFa0f0qiFA+Axg2J5FAfLXhVVe+Uq+nM4tC3lgYoHj4xQwvf/yTrGggsNOD8yD2rpgbhk0sHlip+Cy+wm04v50H3g1gvaIZ0YpOkx4BcwipmrKLRJwdP79mMWqtCfBJLbSMYuJ131q9T1EinrS9U/O55YrIFM85cCsQr1R8pAYWxwQ6LIOsYSsPcarwtLcaVuIur6mb6cu1u80c2n8OIFp8dXn8J3RxI2Jsm6ooV5gyC8PzuOqMX+kxq9zP7SZUP6sOXBouEbVjy1aAYXcWiJehR6kh+WVDlrU347ZRMAUmyiKIT219XJ9e/sARcC0XDQyehb4Ex8jIFPED7VQZmp/+PwivepZZ9b/bGEXoGzjc/rqVWnWQw+i7e/rhfGTCtEDupHullRIaLsuqRvbmSEDlH9n+prkYecRR5BXzG4JODaMt6KuEozc+1KECrLyuEIwwamw2JJwcQKE9x99CIMgQcAxOSJodljZsdKKEc8WJ1U44Zzufpk1/J8iIeRW/b6cKQ+bHFiw883nvvsBaQJ5ZLt+p9dqPZbBIKOrCQvjnwA28tioYhANoKD/t1tOopM=

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
x86_64

%BUILDDATE%
1761394290

%PACKAGER%
George Hu <integral@archlinux.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

