%FILENAME%
yices-2.7.0-1-loong64.pkg.tar.zst

%NAME%
yices

%BASE%
yices

%VERSION%
2.7.0-1

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

%CSIZE%
1956937

%ISIZE%
10037987

%SHA256SUM%
599f935162a0fc0444d8b4b961ad46b3bc3a8cb59dbed4e61408c40f6c1c95b9

%PGPSIG%
iHUEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCaafZ3QAKCRBcdK4XC9oUM/KYAP9M1EyCZLkvYEC3ZODjWI44YngcN91Xd/mbfcDsmlRv7gD/fN3U6a6im+w9Ek3IaNtx3fGh75fqUPvhKOKeVEL0pA4=

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
loong64

%BUILDDATE%
1772607682

%PACKAGER%
LCPU <lcpu@pku.edu.cn>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
git
gperf

