%FILENAME%
symbiyosys-git-r814.d3e72d2-1-any.pkg.tar.zst

%NAME%
symbiyosys-git

%BASE%
symbiyosys-git

%VERSION%
r814.d3e72d2-1

%DESC%
A front-end driver program for Yosys-based formal hardware verification flows

%CSIZE%
136835

%ISIZE%
755002

%SHA256SUM%
da7aa69c3e757a1346baaff88c0cc3af6f8488cc43e16450aef795aeaf1d952b

%URL%
https://github.com/YosysHQ/sby

%LICENSE%
custom:ISC

%ARCH%
any

%BUILDDATE%
1781612767

%PACKAGER%
lilac (on behalf of Yichao Yu) <yyc1992@gmail.com>

%CONFLICTS%
symbiyosys

%PROVIDES%
symbiyosys

%DEPENDS%
python
yosys-git

%OPTDEPENDS%
yices: solving using yices2
z3: solving using z3
boolector: solving using boolector

%MAKEDEPENDS%
git

