Update to go with Yices 2.5.0

Pre-release

Pre-release

dddejan released this 14 Jul 22:19

· 290 commits to master since this release

bd7cdd6

Various improvements and some API changes. Used in SMT-COMP 2016.

Assets 2