remove Yices
remove Yices and its dependencies from the code base.
(from redmine: issue id 3043, created on 2017-08-21, closed on 2017-11-16)
- Relations:
- parent #3042 (closed)
remove Yices and its dependencies from the code base.
(from redmine: issue id 3043, created on 2017-08-21, closed on 2017-11-16)