error.log

[phung@archlinux bench]$ yices --version
Yices 2.5.2
Copyright SRI International.
Linked with GMP 6.0.0
Copyright Free Software Foundation, Inc.
Build date: 2017-02-03
Platform: x86_64-unknown-linux-gnu (release/static)
[phung@archlinux bench]$ yosys -V
Yosys 0.7+365 (git sha1 4f31cb6d, gcc 7.2.0 -march=x86-64 -mtune=generic -O2 -fstack-protector-strong -fPIC -Os)
[phung@archlinux bench]$ make
yosys-smtbmc -s yices -g -t 20010 Tx.smt2
##      0   0:00:00  Solver: yices
Traceback (most recent call last):
  File "/usr/bin/yosys-smtbmc", line 392, in <module>
    smt.write(line)
  File "/usr/bin/../share/yosys/python3/smtio.py", line 272, in write
    self.setup()
  File "/usr/bin/../share/yosys/python3/smtio.py", line 131, in setup
    self.p_open()
  File "/usr/bin/../share/yosys/python3/smtio.py", line 223, in p_open
    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
[phung@archlinux bench]$