Look for yosys-abc and yosys-svgviewer where the main exe is