📦 yosys

Y

• yosys(1)Yosys Open SYnthesis Suite✨
• yosys-abc(1)UC Berkeley, ABC✨
• yosys-filterlib(1)Yosys Open SYnthesis Suite Filterlib✨
• yosys-smtbmc(1)write design to SMT2-LIBv2 file✨
• yosys-witness(1)display a witness trace in human readable format✨