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