error.log

yosys-smtbmc -s yices -g -t 20010 Tx.smt2
Traceback (most recent call last):
  File "/usr/bin/yosys-smtbmc", line 296, in <module>
    smt = SmtIo(opts=so)
  File "/usr/bin/../share/yosys/python3/smtio.py", line 112, in __init__
    self.p = subprocess.Popen(self.popen_vargs, stdin=subprocess.PIPE, stdout=subprocess.PIPE, stderr=subprocess.STDOUT)
  File "/usr/lib/python3.6/subprocess.py", line 709, in __init__
    restore_signals, start_new_session)
  File "/usr/lib/python3.6/subprocess.py", line 1344, in _execute_child
    raise child_exception_type(errno_num, err_msg, err_filename)
FileNotFoundError: [Errno 2] No such file or directory: 'yices-smt2': 'yices-smt2'
make: *** [Makefile:9: Tx] Error 1