%FILENAME%
symbiyosys-git-r812.0cb1521-1-any.pkg.tar.zst

%NAME%
symbiyosys-git

%BASE%
symbiyosys-git

%VERSION%
r812.0cb1521-1

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

%CSIZE%
53383

%ISIZE%
222662

%SHA256SUM%
f620aa0d22961f09cb953503a7e1ce4246994b832159db54573c48413d93912a

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

%LICENSE%
custom:ISC

%ARCH%
any

%BUILDDATE%
1780492880

%PACKAGER%
Garuda Builder <team@garudalinux.org>

%CONFLICTS%
symbiyosys

%PROVIDES%
symbiyosys

%DEPENDS%
python3
python-click
yosys

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

%MAKEDEPENDS%
git

