Yosys

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