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

%NAME%
yices

%BASE%
yices

%VERSION%
2.7.0-1.1

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

%CSIZE%
1985891

%ISIZE%
9757059

%SHA256SUM%
2266f84669a5d5f126d4d3c7e0be904311b879fe435e8d8949e2792f1f7d362d

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmmnLdcACgkQ87YHSI2zWkcsSAwAkJ5zDcNB3ODL0MtVXYUsTf3mtQcOu5EGcXZ+XZ0AY+f7DCIkkNEd/rJgg7ClyhHl7DCpan8F7G2D4jrwPt0fc/qWhNqfCbIgPJpf+9hwSc5VJ8LhP3RxtvDDke0mVHtpilbnPap7uWomosNuMefttEIP3LSXl3P7Vrd9wDuhKBRnEpKT/6XTI7b4NEapHDZWFlu0cmhpKF0Nf1iwWo1sUHvEx9Dfs3sf6V5tf80WdU85X+JSWX4ePzN32ij52sb1pR9bS6je1Lx/EgZ9TqO6oUrOUupms+Zy1nq3yJ5xciXWcd9+NJvYT+TCz5Zyluzo9eKmmAYzf6ja5D10nn/ffdY38TqZTIzT89vzlb+uAtR/VNLibqnw9UDNLUuQbDCSxewEFxGY8t+h3ysTjk6owIcEW8XlJhcJME42NNwLSuSkfR10j/2FPA7lecJjmo7Z2xNYg8xkL5jD4hURbqnvBzFynEoq5wCh82TOcs0kQoFDfPCbSsjZb6vkfczVYt7+

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
x86_64_v4

%BUILDDATE%
1772563761

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
git
gperf

