This is intended to be a user-friendly guide to the synthesis options of Yosys, since I think they could be better described.
Currently, there are pages on:
There is also a miscellaneous page on why I suggest ABC9 for ECP5 and use it exclusively for Cyclone V.