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

%NAME%
yices

%BASE%
yices

%VERSION%
2.7.0-1

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

%CSIZE%
1864472

%ISIZE%
6913539

%SHA256SUM%
e88d073ff79134ceecf27ffa96e1077add29a698fbbfed0da64e72b27ffae9da

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
riscv64

%BUILDDATE%
1772571283

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
git
gperf

