Links for yices
yices-2.7.0.tar.gz