[SMT-LIB] Where to find Yices 1.0.29?

[Piotr Trojanek]

On Thu, Mar 31, 2016 at 6:28 PM, Zhoulai <zell08v at gmail.com> wrote:
> So, where can I find Yices 1.0.29?

You can use the url for 1.0.40 but substitute the version number with
1.0.29. Worked for me.

-- 
Piotr Trojanek