%FILENAME%
yosys-0.43-2.0-i686.pkg.tar.zst

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.43-2.0

%DESC%
A framework for RTL synthesis

%CSIZE%
12625218

%ISIZE%
59333956

%SHA256SUM%
7bd45dd83e62f72106265576e59d867e14cf22650b5e7e457cb5a2b2cafdd4ab

%URL%
https://yosyshq.net/yosys/

%LICENSE%
custom:ISC

%ARCH%
i686

%BUILDDATE%
1725393449

%PACKAGER%
TasosSah <arch32@tasossah.com>

%DEPENDS%
abc
bash
boost-libs
tcl
libffi
python
protobuf

%OPTDEPENDS%
graphviz: Schematics display support
xdot: Display netlists
yices: default solver for yosys-smtbmc
cvc4: alternative solver for yosys-smtbmc
z3: alternative solver for yosys-smtbmc

%MAKEDEPENDS%
boost
git

