Bug#904752: yosys: /usr/bin/yosys-smtbmc fails to run: ModuleNotFoundError: No module named 'smtio'

[Andreas Beckmann]

Package: yosys
Version: 0.7-2
Severity: serious

sid $ /usr/bin/yosys-smtbmc
Traceback (most recent call last):
  File "/usr/bin/yosys-smtbmc", line 22, in <module>
    from smtio import SmtIo, SmtOpts, MkVcd
ModuleNotFoundError: No module named 'smtio'

stretch $ /usr/bin/yosys-smtbmc
Traceback (most recent call last):
  File "/usr/bin/yosys-smtbmc", line 22, in <module>
    from smtio import SmtIo, SmtOpts, MkVcd
ImportError: No module named 'smtio'


Andreas