%FILES%
usr/
usr/bin/
usr/bin/sby
usr/share/
usr/share/licenses/
usr/share/licenses/symbiyosys-git/
usr/share/licenses/symbiyosys-git/LICENSE
usr/share/yosys/
usr/share/yosys/python3/
usr/share/yosys/python3/__pycache__/
usr/share/yosys/python3/__pycache__/sby_autotune.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_autotune.cpython-314.pyc
usr/share/yosys/python3/__pycache__/sby_cmdline.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_cmdline.cpython-314.pyc
usr/share/yosys/python3/__pycache__/sby_core.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_core.cpython-314.pyc
usr/share/yosys/python3/__pycache__/sby_design.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_design.cpython-314.pyc
usr/share/yosys/python3/__pycache__/sby_engine_abc.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_engine_abc.cpython-314.pyc
usr/share/yosys/python3/__pycache__/sby_engine_aiger.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_engine_aiger.cpython-314.pyc
usr/share/yosys/python3/__pycache__/sby_engine_btor.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_engine_btor.cpython-314.pyc
usr/share/yosys/python3/__pycache__/sby_engine_smtbmc.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_engine_smtbmc.cpython-314.pyc
usr/share/yosys/python3/__pycache__/sby_jobserver.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_jobserver.cpython-314.pyc
usr/share/yosys/python3/__pycache__/sby_mode_bmc.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_mode_bmc.cpython-314.pyc
usr/share/yosys/python3/__pycache__/sby_mode_cover.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_mode_cover.cpython-314.pyc
usr/share/yosys/python3/__pycache__/sby_mode_live.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_mode_live.cpython-314.pyc
usr/share/yosys/python3/__pycache__/sby_mode_prove.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_mode_prove.cpython-314.pyc
usr/share/yosys/python3/__pycache__/sby_sim.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_sim.cpython-314.pyc
usr/share/yosys/python3/__pycache__/sby_status.cpython-314.opt-1.pyc
usr/share/yosys/python3/__pycache__/sby_status.cpython-314.pyc
usr/share/yosys/python3/sby_autotune.py
usr/share/yosys/python3/sby_cmdline.py
usr/share/yosys/python3/sby_core.py
usr/share/yosys/python3/sby_design.py
usr/share/yosys/python3/sby_engine_abc.py
usr/share/yosys/python3/sby_engine_aiger.py
usr/share/yosys/python3/sby_engine_btor.py
usr/share/yosys/python3/sby_engine_smtbmc.py
usr/share/yosys/python3/sby_jobserver.py
usr/share/yosys/python3/sby_mode_bmc.py
usr/share/yosys/python3/sby_mode_cover.py
usr/share/yosys/python3/sby_mode_live.py
usr/share/yosys/python3/sby_mode_prove.py
usr/share/yosys/python3/sby_sim.py
usr/share/yosys/python3/sby_status.py
