/cad/yosys/files/

• ../
• patch-backends_smt2_smtio.py
• patch-libs_fst_fstapi.cc